update macos script

Author: ahmed-irfan

.github/workflows/ci.yml

@@ -120,7 +120,7 @@ jobs:
     - name: Install dependencies via Homebrew
       run: |
         brew update
-        brew install cmake boost gmp bison flex readline ccache
+        brew install cmake boost gmp bison flex readline ccache autoconf automake libtool
 
     - name: Install SMT solvers
       run: |

contrib/install_yices2.sh

@@ -1,14 +1,6 @@
 #!/bin/bash
 set -e
 
-# Ensure autoreconf is available on macOS
-if [[ "$(uname)" == "Darwin" ]]; then
-  if ! command -v autoreconf >/dev/null 2>&1; then
-    echo "[INFO] Installing autoconf and automake via Homebrew (macOS)..."
-    brew update
-    brew install autoconf automake
-  fi
-fi
 
 # libpoly
 pushd .