cerc-io/solidity
16
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

Update PPA scripts.

Browse Source
This commit is contained in:
Daniel Kirchner 2020-05-13 18:09:48 +02:00
parent e9446475bb
commit a7f6a4bee6
2 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
scripts/deps-ppa/static_z3.sh
View File

@ -25,11 +25,9 @@ set -ev
keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=libz3-static-dev
# On the next version the git cherry-pick below should be removed and the patch suffix removed from the version string.
version=4.8.7
version_patchsuffix=-1
version=4.8.8
DISTRIBUTIONS="bionic disco eoan focal"
DISTRIBUTIONS="bionic eoan focal"
for distribution in $DISTRIBUTIONS
do
@ -44,10 +42,8 @@ ppafilesurl=https://launchpad.net/~ethereum/+archive/ubuntu/${pparepo}/+files
# Fetch source
git clone --branch z3-${version} https://github.com/Z3Prover/z3.git
cd z3
# Patch build failure.
git cherry-pick e212159f4e
debversion="${version}${version_patchsuffix}"
debversion="${version}"
CMAKE_OPTIONS="-DZ3_BUILD_LIBZ3_SHARED=OFF -DCMAKE_BUILD_TYPE=Release"
@ -181,7 +177,7 @@ This program is free software: you can redistribute it and/or modify
Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
EOF
cat <<EOF > debian/changelog
libz3-static-dev (0.0.1-2ubuntu0) saucy; urgency=low
libz3-static-dev (0.0.1-1ubuntu0) saucy; urgency=low
* Initial release.
@ -191,7 +187,7 @@ mkdir debian/source
echo "3.0 (quilt)" > debian/source/format
chmod +x debian/rules
versionsuffix=2ubuntu0~${distribution}
versionsuffix=1ubuntu0~${distribution}
EMAIL="$email" dch -v 1:${debversion}-${versionsuffix} "build of ${version}"
# build source package

6
scripts/release_ppa.sh
View File

@ -55,9 +55,9 @@ keyid=70D110489D66E2F6
email=builds@ethereum.org
packagename=solc
static_build_distribution=disco
static_build_distribution=focal
DISTRIBUTIONS="bionic disco eoan focal"
DISTRIBUTIONS="bionic eoan focal"
if is_release
then
@ -85,7 +85,7 @@ else
fi
if [ $distribution = focal ]
then
SMTDEPENDENCY="libz3-dev,
SMTDEPENDENCY="libz3-static-dev,
libcvc4-dev,
"
elif [ $distribution = disco ]