diff options
author | chriseth <chris@ethereum.org> | 2017-08-24 18:04:12 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2017-08-24 18:04:50 +0800 |
commit | 6dd7f6284b409355d8baf7b754af0ae9a8ee52fc (patch) | |
tree | 90326088258110c613ba5dd90ea03b3c867aa680 /scripts/release_ppa.sh | |
parent | 8af6f193bcf279381df3cca51b179b48e9cf5d5d (diff) | |
download | dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.tar dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.tar.gz dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.tar.bz2 dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.tar.lz dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.tar.xz dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.tar.zst dexon-solidity-6dd7f6284b409355d8baf7b754af0ae9a8ee52fc.zip |
Require libz3-dev for ubuntu PPA builds.
Diffstat (limited to 'scripts/release_ppa.sh')
-rwxr-xr-x | scripts/release_ppa.sh | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index 4fae90ef..cb3519b0 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -54,14 +54,24 @@ keyid=703F83D0 email=builds@ethereum.org packagename=solc -for distribution in trusty vivid xenial yakkety zesty +for distribution in trusty vivid xenial zesty do cd /tmp/ +rm -rf $distribution mkdir $distribution cd $distribution +# Dependency +if [ $distribution = trusty -o $distribution = vivid ] +then + Z3DEPENDENCY="" +else + Z3DEPENDENCY="libz3-dev, + " +fi + # Fetch source -git clone --recursive https://github.com/ethereum/solidity.git -b "$branch" +git clone --depth 2 --recursive https://github.com/ethereum/solidity.git -b "$branch" mv solidity solc # Fetch jsoncpp dependency @@ -102,7 +112,7 @@ Source: solc Section: science Priority: extra Maintainer: Christian (Buildserver key) <builds@ethereum.org> -Build-Depends: debhelper (>= 9.0.0), +Build-Depends: ${Z3DEPENDENCY}debhelper (>= 9.0.0), cmake, g++-4.8, git, |