alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

change adasat default build mode (#1787)

Browse Source
This commit is contained in:
César Sagaert
2026-01-26 10:13:25 +01:00
committed by GitHub
parent 6b9498ad15
commit ccca4d4811
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/ad/adasat/adasat-26.0.0.toml
+11
View File
@@ -19,6 +19,17 @@ tags = ["sat", "solver", "theories"]
[configuration]
disabled = true
[gpr-externals]
ADASAT_BUILD_MODE = ["dev", "prod", "prof"]
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e", 's/external ("ADASAT_BUILD_MODE", "dev")/external ("ADASAT_BUILD_MODE", "prod")/', "adasat.gpr"]
[[actions]]
type = "post-fetch"
command = ["sed", "-i", "-e", 's/, "-flto");/);/', "adasat.gpr"]
[origin]
url="https://github.com/AdaCore/AdaSAT/archive/refs/tags/v26.0.0.zip"
hashes=['sha512:37336738b543040461e72c50a8e1341787766beba22c91e08c86f2bb24275ccac79f4e777e9cf23622c3e1d3bf0248bb34f10b9570f4307d1697f489781fd4b9']