Fix gambit build in CI

mighty-gerbils · Jul 7, 2023 · 5073299 · 5073299
1 parent c2dcb1c
commit 5073299
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -34,7 +34,8 @@ jobs:
         if: ${{ !steps.cache-gambit.outputs.cache-hit }}
         run: |
           cd gambit-src
-          ./configure --prefix=${GITHUB_WORKSPACE}/gambit --enable-single-host
+          export LDFLAGS="-lm"
+          ./configure 'LIBS=-lm' --prefix=${GITHUB_WORKSPACE}/gambit --enable-single-host --enable-targets=""
           make clean
           make
           make install