Install autoconf on macos CI for Yices2

CyanoKobalamyne · May 21, 2024 · 6fee789 · 6fee789
1 parent bd026eb
commit 6fee789
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,6 +18,8 @@ jobs:
         include:
           - name: msat
             setup_opts: --auto-yes
+          - name: yices2
+            extra_macos_packages: autoconf
 
     name: ${{ matrix.os }}:${{ matrix.name }} 
     runs-on: ${{ matrix.os}}
@@ -41,7 +43,8 @@ jobs:
           brew update
           brew install \
             gmp \
-            gperf
+            gperf \
+            ${{ matrix.extra_macos_packages }}
 
       - name: Python Dependencies
         run: |