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

Merge pull request #14000 from ethereum/ppaScriptFix

Browse Source 
Revert debian compatibility for ubuntu focal support.
This commit is contained in:
Daniel 2023-02-22 22:41:44 +01:00 committed by GitHub
commit 58c1cc6bde
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -73,16 +73,16 @@ cp "/tmp/${packagename}_${debversion}.orig.tar.gz" ../
# Create debian package information # Create debian package information
mkdir debian mkdir debian
echo 13 > debian/compat echo 9 > debian/compat
# TODO: the Z3 packages have different build dependencies # TODO: the Z3 packages have different build dependencies
cat <<EOF > debian/control cat <<EOF > debian/control
Source: z3-static Source: z3-static
Section: science Section: science
Priority: extra Priority: extra
Maintainer: Daniel Kirchner <daniel@ekpyron.org> Maintainer: Daniel Kirchner <daniel@ekpyron.org>
Build-Depends: debhelper (>= 13.0.0), Build-Depends: debhelper (>= 9.0.0),
cmake, cmake,
g++ (>= 9.0), g++ (>= 5.0),
git, git,
libgmp-dev, libgmp-dev,
dh-python, dh-python,

6
scripts/release_ppa.sh
View File

@ -156,15 +156,15 @@ cp "/tmp/${packagename}_${debversion}.orig.tar.gz" ../
# Create debian package information # Create debian package information
mkdir debian mkdir debian
echo 13 > debian/compat echo 9 > debian/compat
cat <<EOF > debian/control cat <<EOF > debian/control
Source: solc Source: solc
Section: science Section: science
Priority: extra Priority: extra
Maintainer: Christian (Buildserver key) <builds@ethereum.org> Maintainer: Christian (Buildserver key) <builds@ethereum.org>
Build-Depends: ${SMTDEPENDENCY}debhelper (>= 13.0.0), Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0),
cmake, cmake,
g++ (>= 9.0), g++ (>= 5.0),
git, git,
libgmp-dev, libgmp-dev,
libboost-all-dev, libboost-all-dev,