Update build.yml

meelgroup · Apr 12, 2024 · 99b7e22 · 99b7e22
1 parent 36e318f
commit 99b7e22
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -43,7 +43,17 @@ jobs:
         make -j8
         sudo make install
         cd ..
-
+      
+    - name: Install mpfr for Mac
+      if: matrix.os == 'macos-13'
+      run: | 
+        wget https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz 
+        tar xf mpfr-4.2.1.tar.xz 
+        cd mpfr-4.2.1
+        ./configure --enable-static -enable-cxx --enable-shared
+        make -j8
+        sudo make install
+        cd ..
        
     - name: Checkout Cadical
       uses: actions/checkout@v2