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 for Debian without lsb_release

Browse Source
This commit is contained in:
Paweł Bylica 2017-09-18 12:53:31 +02:00 committed by Alex Beregszaszi
parent 6512bfbcea
commit 9a8b0d5726
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
scripts/install_deps.sh
View File

@ -168,11 +168,12 @@ case $(uname -s) in
# Debian
#------------------------------------------------------------------------------
Debian)
Debian*)
#Debian
. /etc/os-release
install_z3=""
case $(lsb_release -cs) in
wheezy)
case $VERSION_ID in
7)
#wheezy
echo "Installing solidity dependencies on Debian Wheezy (7.x)."
echo "ERROR - 'install_deps.sh' doesn't have Debian Wheezy support yet."
@ -182,16 +183,16 @@ case $(uname -s) in
echo "See also https://github.com/ethereum/webthree-umbrella/issues/495 where we are working through Alpine support."
exit 1
;;
jessie)
8)
#jessie
echo "Installing solidity dependencies on Debian Jesse (8.x)."
;;
stretch)
9)
#stretch
echo "Installing solidity dependencies on Debian Stretch (9.x)."
install_z3="libz3-dev"
;;
buster)
10)
#buster
echo "Installing solidity dependencies on Debian Buster (10.x)."
install_z3="libz3-dev"