Add AdaSAT as a dependency to fix GitHub CI

AdaCore · Jan 13, 2023 · 3d812f5 · 3d812f5
1 parent c3bc2d7
commit 3d812f5
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml
@@ -64,6 +64,11 @@ jobs:
         with:
           repository: AdaCore/gprconfig_kb
           path: gpr2/gprconfig_kb
+      - name: Get AdaSAT
+        uses: actions/checkout@v2
+        with:
+          repository: AdaCore/AdaSAT
+          path: langkit/langkit/adasat
       - name: Try to checkout langkit's branch
         shell: bash
         run: (cd langkit; git checkout ${{ github.ref }} || true)

diff --git a/utils/gh-build-binaries.sh b/utils/gh-build-binaries.sh
@@ -43,12 +43,16 @@ build_archive()
   python gnatcoll-bindings/gmp/setup.py build ${DEBUG:+--debug} -j0 --prefix=$prefix --library-types=$LIBRARY_TYPE
   python gnatcoll-bindings/gmp/setup.py install
 
+  BUILD=${DEBUG:+dev}  # Convert debug to dev
+
+  sed -i -e 's/, "-flto"//' langkit/langkit/adasat/adasat.gpr # LTO fails on GNAT from Alire
+  gprbuild -p -P langkit/langkit/adasat/adasat.gpr -XLIBRARY_TYPE=$LIBRARY_TYPE -XBUILD_MODE=${BUILD:-prod}
+  gprinstall -p -P langkit/langkit/adasat/adasat.gpr -XLIBRARY_TYPE=$LIBRARY_TYPE -XBUILD_MODE=${BUILD:-prod} --prefix=$prefix
+
   langkit/manage.py build-langkit-support --library-types=$LIBRARY_TYPE
   langkit/manage.py install-langkit-support $prefix --library-types=$LIBRARY_TYPE
 
   make -C gpr2 setup prefix=$prefix GPR2_BUILD=${DEBUG:-release} GPR2KBDIR=./gprconfig_kb/db build-lib-$LIBRARY_TYPE install-lib-$LIBRARY_TYPE
-  BUILD=${DEBUG:+dev}  # Convert debug to dev
-
   # Build libadalang static library
   ./manage.py generate