diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/install_deps.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh index 760e4b80..3a1abe10 100755 --- a/scripts/install_deps.sh +++ b/scripts/install_deps.sh @@ -212,7 +212,7 @@ case $(uname -s) in git \ libboost-all-dev \ unzip \ - "$install_z3" + "$install_z3" ;; @@ -317,7 +317,8 @@ case $(uname -s) in build-essential \ cmake \ git \ - libboost-all-dev "$install_z3" + libboost-all-dev \ + "$install_z3" if [ "$CI" = true ]; then # Install 'eth', for use in the Solidity Tests-over-IPC. # We will not use this 'eth', but its dependencies |