fix: limit GNAT version for gnatdoc (#1737)

2026-01-07 10:23:35 +01:00
parent ce3ac33e21
commit 6fa5de7a24
2 changed files with 4 additions and 0 deletions
@@ -20,6 +20,8 @@ vss = "^25"
 libgpr2 = "^25"
 libadalang = "^25"
 markdown = "^25"
+# crashes with GNAT FSF >=15
+gnat = "<15"

 [origin]
 url="https://github.com/adacore/gnatdoc/archive/v25.0.0/gnatdoc-25.0.0.zip"
@@ -20,6 +20,8 @@ vss = "^25"
 libgpr2 = "^25"
 libadalang = "^25"
 markdown = "^25"
+# crashes with GNAT FSF >=15
+gnat = "<15"

 [origin]
 url="https://github.com/adacore/gnatdoc/archive/v25.2.0/gnatdoc-25.2.0.zip"