Try to get gmp building

matthewfeickert · Sep 12, 2024 · 01ee45e · 01ee45e
1 parent 217b900
commit 01ee45e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -103,11 +103,13 @@ jobs:
           MACOSX_DEPLOYMENT_TARGET: "10.9"
         working-directory: gmp-6.3
         run: |
-          autoreconf -i
+          brew install texinfo
+          autoreconf -i -f
           ./configure --help
           ./configure \
             --prefix=$(brew --prefix) \
             --enable-cxx
+          touch ./doc/version.texi
           make --jobs
           make install