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

Merge pull request #3612 from ethereum/debian-lsb

Browse Source 
Fix install_deps.sh for Debian without lsb_release
This commit is contained in:
chriseth 2018-02-27 16:14:14 +01:00 committed by GitHub
commit 6d8dee586c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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"