fix cudd script for darwin

Author: ahmed-irfan

contrib/install_yices2.sh

@@ -1,6 +1,15 @@
 #!/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 .
 git clone https://github.com/SRI-CSL/libpoly.git