Include abc in with-solvers tarballs

GaloisInc · Sep 15, 2021 · c537017 · c537017
1 parent bdb2c96
commit c537017
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -111,6 +111,7 @@ zip_dist_with_solvers() {
   : "${VERSION?VERSION is required as an environment variable}"
   name="${name:-"cryptol-$VERSION-$RUNNER_OS-x86_64"}"
   sname="${name}-with-solvers"
+  cp "$(which abc)"        dist/bin/
   cp "$(which cvc4)"       dist/bin/
   cp "$(which yices)"      dist/bin/
   cp "$(which yices-smt2)" dist/bin/