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

Require libz3-dev for ubuntu PPA builds.

Browse Source
This commit is contained in:
chriseth 2017-08-24 12:04:12 +02:00
parent 8af6f193bc
commit 6dd7f6284b
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
scripts/release_ppa.sh
View File

@ -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,