From ccca4d4811795dda2542d05f321d06bdce87d79d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= <aldantanneo@gmail.com>
Date: Mon, 26 Jan 2026 10:13:25 +0100
Subject: [PATCH] change adasat default build mode (#1787)

---
 index/ad/adasat/adasat-26.0.0.toml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/index/ad/adasat/adasat-26.0.0.toml b/index/ad/adasat/adasat-26.0.0.toml
index b1ffa820..883f46f6 100644
--- a/index/ad/adasat/adasat-26.0.0.toml
+++ b/index/ad/adasat/adasat-26.0.0.toml
@@ -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']