mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-22 19:41:22 +03:00
Check dynamic library dependencies of solvers
This commit is contained in:
parent
94a32f9a04
commit
b88544152c
8
.github/ci.sh
vendored
8
.github/ci.sh
vendored
@ -9,6 +9,14 @@ mkdir -p "$BIN"
|
|||||||
|
|
||||||
is_exe() { [[ -x "$1/$2$EXT" ]] || command -v "$2" > /dev/null 2>&1; }
|
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() {
|
extract_exe() {
|
||||||
exe="$(cabal v2-exec which "$1$EXT")"
|
exe="$(cabal v2-exec which "$1$EXT")"
|
||||||
name="$(basename "$exe")"
|
name="$(basename "$exe")"
|
||||||
|
4
.github/workflows/ci.yml
vendored
4
.github/workflows/ci.yml
vendored
@ -268,6 +268,10 @@ jobs:
|
|||||||
chmod +x dist/bin/cryptol-eval-server
|
chmod +x dist/bin/cryptol-eval-server
|
||||||
chmod +x bin/test-runner
|
chmod +x bin/test-runner
|
||||||
.github/ci.sh install_system_deps
|
.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)"
|
ghc_ver="$(ghc --numeric-version)"
|
||||||
cp cabal.GHC-"$ghc_ver".config cabal.project.freeze
|
cp cabal.GHC-"$ghc_ver".config cabal.project.freeze
|
||||||
cabal v2-update
|
cabal v2-update
|
||||||
|
Loading…
Reference in New Issue
Block a user