diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-19 01:38:05 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-19 01:38:05 +0800 |
| commit | cd17c37fe6df143558a8aaadcec2495ff50f90df (patch) | |
| tree | 23bef273ffef22c8dc6b1525c418f44924f697ef | |
| parent | 85687a37ebe8df40238247fd5b1399db3310f674 (diff) | |
| parent | 64043ef970524ce4b9b9209b07c2bedd5d72cc0e (diff) | |
| download | dexon-solidity-cd17c37fe6df143558a8aaadcec2495ff50f90df.tar.gz dexon-solidity-cd17c37fe6df143558a8aaadcec2495ff50f90df.tar.zst dexon-solidity-cd17c37fe6df143558a8aaadcec2495ff50f90df.zip | |
Merge pull request #3925 from ethereum/supportBionic2
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 a0df396d..230c1174 100644 --- a/Changelog.md +++ b/Changelog.md @@ -2,6 +2,7 @@ Features: * SMTChecker: Integration with CVC4 SMT solver + * Build system: Support Ubuntu Bionic. Bugfixes: * Type Checker: Do not complain about new-style constructor and fallback function to have the same name. 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 |