diff options
| author | chriseth <chris@ethereum.org> | 2018-04-18 20:56:54 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-04-18 23:15:26 +0800 |
| commit | 64043ef970524ce4b9b9209b07c2bedd5d72cc0e (patch) | |
| tree | e779f41a7712b85606ca77c352538978680e92d4 | |
| parent | f92574705033595b4a6bc20473c9f58e6f184f47 (diff) | |
| download | dexon-solidity-64043ef970524ce4b9b9209b07c2bedd5d72cc0e.tar.gz dexon-solidity-64043ef970524ce4b9b9209b07c2bedd5d72cc0e.tar.zst dexon-solidity-64043ef970524ce4b9b9209b07c2bedd5d72cc0e.zip | |
Support ubuntu bionic source builds.
| -rw-r--r-- | Changelog.md | 1 | ||||
| -rwxr-xr-x | scripts/install_deps.sh | 14 |
2 files changed, 6 insertions, 9 deletions
diff --git a/Changelog.md b/Changelog.md index cfd23ad0..df85ade9 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 e884ed65..fa5551bf 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 |