diff --git a/Changelog.md b/Changelog.md index cfd23ad0e..df85ade9d 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,6 +2,7 @@ Features: * SMTChecker: Integration with CVC4 SMT solver + * Build system: Support Ubuntu Bionic. Bugfixes: diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh index e884ed652..fa5551bfe 100755 --- a/scripts/install_deps.sh +++ b/scripts/install_deps.sh @@ -268,43 +268,39 @@ case $(uname -s) in install_z3="" case $(lsb_release -cs) in trusty|qiana|rebecca|rafaela|rosa) - #trusty echo "Installing solidity dependencies on Ubuntu Trusty Tahr (14.04)." echo "Or, you may also be running Linux Mint Qiana / Rebecca / Rafaela / Rosa (base: Ubuntu Trusty Tahr (14.04).)" ;; utopic) - #utopic echo "Installing solidity dependencies on Ubuntu Utopic Unicorn (14.10)." ;; vivid) - #vivid echo "Installing solidity dependencies on Ubuntu Vivid Vervet (15.04)." ;; wily) - #wily echo "Installing solidity dependencies on Ubuntu Wily Werewolf (15.10)." ;; xenial|sarah|serena|sonya|sylvia) - #xenial echo "Installing solidity dependencies on Ubuntu Xenial Xerus (16.04)." echo "Or, you may also be running Linux Mint Sarah / Serena / Sonya / Sylvia (base: Ubuntu Xenial Xerus (16.04).)" install_z3="libz3-dev" ;; yakkety) - #yakkety echo "Installing solidity dependencies on Ubuntu Yakkety Yak (16.10)." install_z3="libz3-dev" ;; zesty) - #zesty 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" ;; + bionic) + echo "Installing solidity dependencies on Ubuntu Bionic (18.04)." + install_z3="libz3-dev" + ;; betsy) #do not try anything for betsy. echo "Linux Mint Betsy is not supported at the moment as it runs off of Debian." @@ -319,7 +315,7 @@ case $(uname -s) in 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, Yakkety, Zesty and Artful." + echo "We only support Trusty, Utopic, Vivid, Wily, Xenial, Yakkety, Zesty, Artful and Bionic." install_z3="libz3-dev" ;; esac