From 90bb3116051b98502110d3c5b6d4825c9fae2637 Mon Sep 17 00:00:00 2001 From: molecula451 Date: Tue, 16 Apr 2024 16:03:36 -0400 Subject: [PATCH] chore: update --- .../scripts/smt-checker/update-deps-ubuntu | 22 +++++++++---------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/packages/contracts/scripts/smt-checker/update-deps-ubuntu b/packages/contracts/scripts/smt-checker/update-deps-ubuntu index a3f15d06f..30ba83aa0 100755 --- a/packages/contracts/scripts/smt-checker/update-deps-ubuntu +++ b/packages/contracts/scripts/smt-checker/update-deps-ubuntu @@ -1,21 +1,21 @@ #!/bin/bash # Install dependencies -apt-get update && sudo apt-get install -y g++ && \ -apt-get install -y wget -apt-get install -y z3 && \ -apt-get install -y libz3-dev && \ +sudo apt-get update && sudo apt-get install -y g++ && \ +sudo apt-get install -y wget +sudo apt-get install -y z3 && \ +sudo apt-get install -y libz3-dev && \ # Download and install Z3 -wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.0.tar.gz && \ -tar -zxvf z3-4.11.0.tar.gz && \ +sudo wget https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.11.0.tar.gz && \ +sudo tar -zxvf z3-4.11.0.tar.gz && \ cd z3-z3-4.11.0 && \ -python3 scripts/mk_make.py && \ +sudo python3 scripts/mk_make.py && \ cd build && \ -make -j$(nproc) && \ -make install && \ -cp libz3.so libz3.so.4.11 && \ -mv libz3.so.4.11 /usr/lib/x86_64-linux-gnu && \ +sudo make -j$(nproc) && \ +sudo make install && \ +sudo cp libz3.so libz3.so.4.11 && \ +sudo mv libz3.so.4.11 /usr/lib/x86_64-linux-gnu && \ echo "Successfully copied Z3 to the system" && \ # Print success message