Update libadalang to 24.0

alire-project · Aug 1, 2024 · edb490b · edb490b
1 parent eb1b062
commit edb490b
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 79 deletions.
diff --git a/specs/langkit.anod b/specs/langkit.anod
diff --git a/specs/libadalang.anod b/specs/libadalang.anod
@@ -4,10 +4,10 @@ from e3.anod.loader import spec
 import os
 
 
-class Langkit(spec("common")):
+class Libadalang(spec("common")):
     @property
     def version(self):
-        return "22.0.0"
+        return "24.0.0"
 
     @property
     def tarball(self):
@@ -33,9 +33,11 @@ class Langkit(spec("common")):
             Anod.Dependency("base_gcc", track=True),
             Anod.Dependency("gprbuild", track=True),
             Anod.Dependency("libgpr", track=True),
+            Anod.Dependency("adasat", track=True),
+            Anod.Dependency("libgpr2"),
             Anod.Dependency("gnatcoll", track=True),
             Anod.Dependency("gnatcoll-bindings", track=True),
-            Anod.Dependency("langkit", track=True),
+            Anod.Dependency("langkit_support", track=True),
             Anod.Dependency("xmlada", track=True),
         ]
 

diff --git a/specs/libgpr2.anod b/specs/libgpr2.anod
@@ -74,7 +74,6 @@ class LibGPR2(spec("common")):
             Anod.Dependency("gnatcoll", track=True),
             Anod.Dependency("gnatcoll-bindings", track=True),
             Anod.Dependency("langkit_support", track=True),
-            Anod.Dependency("libadalang", track=True),
             Anod.Dependency("gprconfig_kb", require="source_pkg", track=True),
         ]