diff options
| author | chriseth <chris@ethereum.org> | 2018-02-27 23:14:14 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-27 23:14:14 +0800 |
| commit | 6d8dee586c592b3ed34143b0e4c6cba3b704fa84 (patch) | |
| tree | c95bb83c650c75e36df40eba537bc1d48086fa52 | |
| parent | 2abc5be7e628c18562f1df546137fcb0748ecbb2 (diff) | |
| parent | 9a8b0d5726a4402135151dce9208dc4f131713c9 (diff) | |
| download | dexon-solidity-6d8dee586c592b3ed34143b0e4c6cba3b704fa84.tar.gz dexon-solidity-6d8dee586c592b3ed34143b0e4c6cba3b704fa84.tar.zst dexon-solidity-6d8dee586c592b3ed34143b0e4c6cba3b704fa84.zip | |
Merge pull request #3612 from ethereum/debian-lsb
Fix install_deps.sh for Debian without lsb_release
| -rwxr-xr-x | scripts/install_deps.sh | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh index d62cffb7..e884ed65 100755 --- a/scripts/install_deps.sh +++ b/scripts/install_deps.sh @@ -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" |