diff options
| author | Guanqun Lu <guanqun.lu@gmail.com> | 2017-11-11 03:01:13 +0800 |
|---|---|---|
| committer | Guanqun Lu <guanqun.lu@gmail.com> | 2017-11-11 03:01:33 +0800 |
| commit | 664f33afe0703fc2687fb5cbfdac7efd67d39e96 (patch) | |
| tree | ad5d54ca364a927c96fd57d177f12306c322493c | |
| parent | dc154b4e5661945ca9c98720e097e84729a528be (diff) | |
| download | dexon-solidity-664f33afe0703fc2687fb5cbfdac7efd67d39e96.tar.gz dexon-solidity-664f33afe0703fc2687fb5cbfdac7efd67d39e96.tar.zst dexon-solidity-664f33afe0703fc2687fb5cbfdac7efd67d39e96.zip | |
Update the script for Ubuntu Artful 17.10
| -rwxr-xr-x | scripts/install_deps.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh index 49f864a0..15e864b5 100755 --- a/scripts/install_deps.sh +++ b/scripts/install_deps.sh @@ -294,12 +294,17 @@ case $(uname -s) in echo "Installing solidity dependencies on Ubuntu Zesty (17.04)." install_z3="libz3-dev" ;; + artful) + #artful + echo "Installing solidity dependencies on Ubuntu Artful (17.10)." + install_z3="libz3-dev" + ;; *) #other Ubuntu echo "ERROR - Unknown or unsupported Ubuntu version (" $(lsb_release -cs) ")" echo "ERROR - This might not work, but we are trying anyway." echo "Please drop us a message at https://gitter.im/ethereum/solidity-dev." - echo "We only support Trusty, Utopic, Vivid, Wily, Xenial and Yakkety." + echo "We only support Trusty, Utopic, Vivid, Wily, Xenial, Yakkety, Zesty and Artful." install_z3="libz3-dev" ;; esac |