From b88544152c953ecf21cf4adaff898583a4058ce2 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Fri, 17 Sep 2021 11:21:33 -0700
Subject: [PATCH] Check dynamic library dependencies of solvers

---
 .github/ci.sh            | 8 ++++++++
 .github/workflows/ci.yml | 4 ++++
 2 files changed, 12 insertions(+)

diff --git a/.github/ci.sh b/.github/ci.sh
index 3f249910..e84810ff 100755
--- a/.github/ci.sh
+++ b/.github/ci.sh
@@ -9,6 +9,14 @@ mkdir -p "$BIN"
 
 is_exe() { [[ -x "$1/$2$EXT" ]] || command -v "$2" > /dev/null 2>&1; }
 
+deps() {
+    case "$RUNNER_OS" in
+      Linux) ldd $1 || true ;;
+      macOS) otool -L $1 || true ;;
+      Windows) ldd $1 || true ;;
+    esac
+}
+
 extract_exe() {
   exe="$(cabal v2-exec which "$1$EXT")"
   name="$(basename "$exe")"
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fb652ac4..8ba0e253 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -268,6 +268,10 @@ jobs:
           chmod +x dist/bin/cryptol-eval-server
           chmod +x bin/test-runner
           .github/ci.sh install_system_deps
+          .github/ci.sh bin/abc*
+          .github/ci.sh bin/cvc4*
+          .github/ci.sh bin/yices-smt2*
+          .github/ci.sh bin/z3*
           ghc_ver="$(ghc --numeric-version)"
           cp cabal.GHC-"$ghc_ver".config cabal.project.freeze
           cabal v2-update