diff options
Diffstat (limited to 'scripts/install_deps.sh')
| -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 |