cerc-io/solidity
15
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 #2793 from ethereum/fixZ3Requirement

Browse Source 
Require libz3-dev for ubuntu PPA builds.
This commit is contained in:
chriseth 2017-08-24 12:45:13 +02:00 committed by GitHub
commit 9488661a4a
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,