Skip to content

Commit

Permalink
Install dependencies first
Browse files Browse the repository at this point in the history
  • Loading branch information
dmirgaleev committed Aug 18, 2024
1 parent 25ecb5c commit 80cde43
Showing 1 changed file with 4 additions and 6 deletions.
10 changes: 4 additions & 6 deletions build_and_test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,6 @@ set -e
os=$(uname | tr '[:upper:]' '[:lower:]')
arch=$(uname -m | sed s/aarch64/arm64/ | sed s/x86_64/amd64/)

git clone https://github.com/baking-bad/stone-prover.git /tmp/stone-prover

cd /tmp/stone-prover || exit


if [ "$os" == "linux" ]; then
export DEBIAN_FRONTEND=noninteractive

Expand All @@ -26,14 +21,17 @@ elif [ "$os" == "darwin" ]; then
brew install gmp

python3 -m pip install cpplint pytest numpy sympy==1.12.1 cairo-lang==0.12.0


else
echo "$os/$arch is not supported"
exit 1

fi

git clone https://github.com/baking-bad/stone-prover.git /tmp/stone-prover

cd /tmp/stone-prover || exit

bazelisk build //...

bazelisk test //...
Expand Down

0 comments on commit 80cde43

Please sign in to comment.