build fixes for AdaCore libraries (#1747)

This commit is contained in:
César Sagaert
2026-01-07 10:22:02 +01:00
committed by GitHub
parent 605bfba2e3
commit ce3ac33e21
6 changed files with 35 additions and 2 deletions
+1 -1
View File
@@ -16,7 +16,7 @@ GPR_BUILD = ["debug", "production", "coverage", "profiling"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnat = "/=2020" # Does not build with GNAT Community 2020
gnat = ">=15" # Does not build with GNAT FSF 14
xmlada = "~26.0.0"
[origin]
+4
View File
@@ -12,11 +12,15 @@ disabled = true
[gpr-externals]
GPR2_BUILD = ["debug", "release", "release_checks", "gnatcov"]
GPR2_OS = ["Windows_NT", "UNIX"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[gpr-set-externals]
GPR2_BUILD = "release"
[gpr-set-externals."case(os)".windows]
GPR2_OS = "Windows_NT" # UNIX by default
[[depends-on]]
xmlada = "^26.0.0"
gnatcoll = "^26.0.0"