GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

chore: ensure run_rpc_tests.sh uses up-to-date server binaries (#1174)

Browse Source
This commit is contained in:
Andrew Kent 2021-04-22 16:16:28 -07:00 committed by GitHub
parent 966b3431c1
commit 9995513098
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
cryptol-remote-api/run_rpc_tests.sh
View File

@ -2,6 +2,11 @@
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
pushd $DIR
cabal v2-build exe:cryptol-remote-api
cabal v2-build exe:cryptol-eval-server
pushd $DIR/python
NUM_FAILS=0
@ -45,6 +50,8 @@ else
fi
popd
popd
if [ $NUM_FAILS -eq 0 ]
then
echo "All RPC tests passed"