cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix install_deps.sh script for Arch Linux.

Browse Source 
Also added cvc4 as dependency.
This commit is contained in:
Julius Huelsmann 2018-05-17 12:07:33 +02:00 committed by Alex Beregszaszi
parent 0fdb226fd8
commit 4690f837e0
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scripts/install_deps.sh
View File

@ -133,19 +133,18 @@ case $(uname -s) in
# Arch Linux # Arch Linux
#------------------------------------------------------------------------------ #------------------------------------------------------------------------------
Arch) Arch*)
#Arch #Arch
echo "Installing solidity dependencies on Arch Linux." echo "Installing solidity dependencies on Arch Linux."
# All our dependencies can be found in the Arch Linux official repositories. # All our dependencies can be found in the Arch Linux official repositories.
# See https://wiki.archlinux.org/index.php/Official_repositories # See https://wiki.archlinux.org/index.php/Official_repositories
# Also adding ethereum-git to allow for testing with the `eth` client
sudo pacman -Syu \ sudo pacman -Syu \
base-devel \ base-devel \
boost \ boost \
cmake \ cmake \
git \ git \
ethereum-git \ cvc4
;; ;;
#------------------------------------------------------------------------------ #------------------------------------------------------------------------------
@ -329,7 +328,7 @@ case $(uname -s) in
"$install_z3" "$install_z3"
if [ "$CI" = true ]; then if [ "$CI" = true ]; then
# install Z3 from PPA if the distribution does not provide it # install Z3 from PPA if the distribution does not provide it
if ! dpkg -l libz3-dev > /dev/null 2>&1 if ! dpkg -l libz3-dev > /dev/null 2>&1
then then
sudo apt-add-repository -y ppa:hvr/z3 sudo apt-add-repository -y ppa:hvr/z3
sudo apt-get -y update sudo apt-get -y update