diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml
index 96f5eee24..376db0f2e 100644
--- 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
index 3adf6bf8c..4cc70ce24 100755
--- 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