From ce3ac33e21b742b3762df71bb2015dcf7c688429 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= <aldantanneo@gmail.com>
Date: Wed, 7 Jan 2026 10:22:02 +0100
Subject: [PATCH] build fixes for AdaCore libraries (#1747)

---
 index/la/langkit_support/langkit_support-26.0.0.toml |  7 +++++++
 index/li/libgpr/libgpr-26.0.0.toml                   |  2 +-
 index/li/libgpr2/libgpr2-26.0.0.toml                 |  4 ++++
 index/ma/markdown/markdown-26.0.0.toml               | 10 +++++++++-
 index/pr/prettier_ada/prettier_ada-26.0.0.toml       |  7 +++++++
 index/sp/spdx/spdx-26.0.0.toml                       |  7 +++++++
 6 files changed, 35 insertions(+), 2 deletions(-)

diff --git a/index/la/langkit_support/langkit_support-26.0.0.toml b/index/la/langkit_support/langkit_support-26.0.0.toml
index db654359..6c66a3d1 100644
--- a/index/la/langkit_support/langkit_support-26.0.0.toml
+++ b/index/la/langkit_support/langkit_support-26.0.0.toml
@@ -9,6 +9,13 @@ licenses = "Apache-2.0 WITH LLVM-exception"
 website = "https://github.com/AdaCore/langkit"
 project-files = ["langkit/support/langkit_support.gpr"]
 
+[gpr-externals]
+LANGKIT_SUPPORT_BUILD_MODE = ["dev", "prod", "prof"]
+LANGKIT_SUPPORT_LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals]
+LANGKIT_SUPPORT_BUILD_MODE = "prod"
+
 [[depends-on]]
 adasat = "^26"
 gnatcoll = "^26"
diff --git a/index/li/libgpr/libgpr-26.0.0.toml b/index/li/libgpr/libgpr-26.0.0.toml
index 87767fc8..cea51f7c 100644
--- a/index/li/libgpr/libgpr-26.0.0.toml
+++ b/index/li/libgpr/libgpr-26.0.0.toml
@@ -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]
diff --git a/index/li/libgpr2/libgpr2-26.0.0.toml b/index/li/libgpr2/libgpr2-26.0.0.toml
index bcb14589..2bc61edd 100644
--- a/index/li/libgpr2/libgpr2-26.0.0.toml
+++ b/index/li/libgpr2/libgpr2-26.0.0.toml
@@ -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"
diff --git a/index/ma/markdown/markdown-26.0.0.toml b/index/ma/markdown/markdown-26.0.0.toml
index 487ee4b1..7de81056 100644
--- a/index/ma/markdown/markdown-26.0.0.toml
+++ b/index/ma/markdown/markdown-26.0.0.toml
@@ -11,7 +11,15 @@ licenses = "Apache-2.0"
 project-files = ["gnat/markdown.gpr"]
 
 [configuration]
-disabled = true
+generate_ada = false
+generate_c = false
+
+[gpr-externals]
+MARKDOWN_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+MARKDOWN_BUILD_MODE = ["dev", "prod", "coverage"]
+
+[gpr-set-externals]
+MARKDOWN_BUILD_MODE = "prod"
 
 [build-switches]
 "*".ada_version = "Ada2022"
diff --git a/index/pr/prettier_ada/prettier_ada-26.0.0.toml b/index/pr/prettier_ada/prettier_ada-26.0.0.toml
index 6dd61bb8..42102fe9 100644
--- a/index/pr/prettier_ada/prettier_ada-26.0.0.toml
+++ b/index/pr/prettier_ada/prettier_ada-26.0.0.toml
@@ -10,6 +10,13 @@ tags=["format", "formatter"]
 [configuration]
 disabled = true
 
+[gpr-externals]
+PRETTIER_ADA_BUILD_MODE = ["dev", "prod"]
+PRETTIER_ADA_LIBRARY_TYPE = ["static", "static-pic", "relocatable"]
+
+[gpr-set-externals]
+PRETTIER_ADA_BUILD_MODE = "prod"
+
 [[depends-on]]
 gnatcoll = "^26"
 vss_text = "^26"
diff --git a/index/sp/spdx/spdx-26.0.0.toml b/index/sp/spdx/spdx-26.0.0.toml
index f7d55d1b..edd06f2a 100644
--- a/index/sp/spdx/spdx-26.0.0.toml
+++ b/index/sp/spdx/spdx-26.0.0.toml
@@ -9,6 +9,13 @@ licenses = "Apache-2.0 WITH LLVM-exception"
 website="https://github.com/AdaCore/spdx_ada"
 tags = ['spdx', 'license']
 
+[gpr-externals]
+SPDX_LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+SPDX_BUILD_MODE = ["debug", "optimize"]
+
+[gpr-set-externals]
+SPDX_BUILD_MODE = "optimize"
+
 [origin]
 url = "https://github.com/AdaCore/spdx_ada/archive/refs/tags/v26.0.0.zip"
 hashes = ["sha512:d98429ff612ff723faa72afb2bf68375935e14d60f1ee71dc36b2751bb1e2b8943645547ea273dbbaab4ae3bb1e414b1a7c844592bcbf6f351c3674a0f131022"]