Fix Nemo CI

flintlib · Oct 21, 2024 · 04ce7e9 · 04ce7e9
1 parent b12f8dd
commit 04ce7e9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -613,14 +613,18 @@ jobs:
           # memory sanitation which messes with finding mpfr_init in the
           # configure-script. Hence, we also omit the check for finding MPFR.
           # FIXME: Probably want to fix this.
+          #
+          # We disable pkg-config because Julia's pkg-config for GMP and MPFR
+          # are not correct.
           ./bootstrap.sh
           ./configure \
             CC=${CC} \
             --prefix=${LOCAL} \
             --with-gmp=${gmp_path} \
             --with-mpfr=${mpfr_path} \
             --disable-mpfr-check \
-            --disable-debug
+            --disable-debug \
+            --disable-pkg-config
 
       - name: "Compile and install"
         run: |