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

Add Ubuntu Focal.

Browse Source
This commit is contained in:
chriseth 2020-02-12 18:42:45 +01:00 committed by Daniel Kirchner
parent f31332533f
commit 5ec8202e6e
3 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -29,7 +29,7 @@ packagename=libz3-static-dev
version=4.8.7 version=4.8.7
version_patchsuffix=-1 version_patchsuffix=-1
DISTRIBUTIONS="bionic disco eoan" DISTRIBUTIONS="bionic disco eoan focal"
for distribution in $DISTRIBUTIONS for distribution in $DISTRIBUTIONS
do do
@ -72,7 +72,7 @@ Priority: extra
Maintainer: Daniel Kirchner <daniel@ekpyron.org> Maintainer: Daniel Kirchner <daniel@ekpyron.org>
Build-Depends: debhelper (>= 9.0.0), Build-Depends: debhelper (>= 9.0.0),
cmake, cmake,
g++, g++ (>= 5.0),
git, git,
libgmp-dev, libgmp-dev,
dh-python, dh-python,

6
scripts/install_deps.sh
View File

@ -300,7 +300,11 @@ case $(uname -s) in
install_z3="libz3-dev" install_z3="libz3-dev"
;; ;;
bionic) bionic)
echo "Installing solidity dependencies on Ubuntu Bionic (18.04)." echo "Installing solidity dependencies."
install_z3="libz3-dev"
;;
focal)
echo "Installing solidity dependencies."
install_z3="libz3-dev" install_z3="libz3-dev"
;; ;;
betsy) betsy)

9
scripts/release_ppa.sh
View File

@ -57,7 +57,7 @@ packagename=solc
static_build_distribution=disco static_build_distribution=disco
DISTRIBUTIONS="bionic disco eoan" DISTRIBUTIONS="bionic disco eoan focal"
if is_release if is_release
then then
@ -83,7 +83,12 @@ else
else else
pparepo=ethereum-dev pparepo=ethereum-dev
fi fi
if [ $distribution = disco ] if [ $distribution = focal ]
then
SMTDEPENDENCY="libz3-dev,
libcvc4-dev,
"
elif [ $distribution = disco ]
then then
SMTDEPENDENCY="libz3-static-dev, SMTDEPENDENCY="libz3-static-dev,
libcvc4-dev, libcvc4-dev,