From 6fee7897655e175d98dc6c7b124826e6a3bec9b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Tue, 21 May 2024 15:07:22 -0700
Subject: [PATCH] Install autoconf on macos CI for Yices2

---
 .github/workflows/ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index edfd71a9e..569cc2a88 100644
--- 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: |