cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #3925 from ethereum/supportBionic2

Browse Source 
Support ubuntu bionic source builds.
This commit is contained in:
Alex Beregszaszi 2018-04-18 18:38:05 +01:00 committed by GitHub
commit cd17c37fe6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changelog.md
View File

@ -2,6 +2,7 @@
Features: Features:
* SMTChecker: Integration with CVC4 SMT solver * SMTChecker: Integration with CVC4 SMT solver
* Build system: Support Ubuntu Bionic.
Bugfixes: Bugfixes:
* Type Checker: Do not complain about new-style constructor and fallback function to have the same name. * Type Checker: Do not complain about new-style constructor and fallback function to have the same name.

14
scripts/install_deps.sh
View File

@ -268,43 +268,39 @@ case $(uname -s) in
install_z3="" install_z3=""
case $(lsb_release -cs) in case $(lsb_release -cs) in
trusty|qiana|rebecca|rafaela|rosa) trusty|qiana|rebecca|rafaela|rosa)
#trusty
echo "Installing solidity dependencies on Ubuntu Trusty Tahr (14.04)." 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).)" echo "Or, you may also be running Linux Mint Qiana / Rebecca / Rafaela / Rosa (base: Ubuntu Trusty Tahr (14.04).)"
;; ;;
utopic) utopic)
#utopic
echo "Installing solidity dependencies on Ubuntu Utopic Unicorn (14.10)." echo "Installing solidity dependencies on Ubuntu Utopic Unicorn (14.10)."
;; ;;
vivid) vivid)
#vivid
echo "Installing solidity dependencies on Ubuntu Vivid Vervet (15.04)." echo "Installing solidity dependencies on Ubuntu Vivid Vervet (15.04)."
;; ;;
wily) wily)
#wily
echo "Installing solidity dependencies on Ubuntu Wily Werewolf (15.10)." echo "Installing solidity dependencies on Ubuntu Wily Werewolf (15.10)."
;; ;;
xenial|sarah|serena|sonya|sylvia) xenial|sarah|serena|sonya|sylvia)
#xenial
echo "Installing solidity dependencies on Ubuntu Xenial Xerus (16.04)." 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).)" echo "Or, you may also be running Linux Mint Sarah / Serena / Sonya / Sylvia (base: Ubuntu Xenial Xerus (16.04).)"
install_z3="libz3-dev" install_z3="libz3-dev"
;; ;;
yakkety) yakkety)
#yakkety
echo "Installing solidity dependencies on Ubuntu Yakkety Yak (16.10)." echo "Installing solidity dependencies on Ubuntu Yakkety Yak (16.10)."
install_z3="libz3-dev" install_z3="libz3-dev"
;; ;;
zesty) zesty)
#zesty
echo "Installing solidity dependencies on Ubuntu Zesty (17.04)." echo "Installing solidity dependencies on Ubuntu Zesty (17.04)."
install_z3="libz3-dev" install_z3="libz3-dev"
;; ;;
artful) artful)
#artful
echo "Installing solidity dependencies on Ubuntu Artful (17.10)." echo "Installing solidity dependencies on Ubuntu Artful (17.10)."
install_z3="libz3-dev" install_z3="libz3-dev"
;; ;;
bionic)
echo "Installing solidity dependencies on Ubuntu Bionic (18.04)."
install_z3="libz3-dev"
;;
betsy) betsy)
#do not try anything for betsy. #do not try anything for betsy.
echo "Linux Mint Betsy is not supported at the moment as it runs off of Debian." 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 - Unknown or unsupported Ubuntu version (" $(lsb_release -cs) ")"
echo "ERROR - This might not work, but we are trying anyway." 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 "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" install_z3="libz3-dev"
;; ;;
esac esac