aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/release_ppa.sh16
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,