mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Merge pull request #13781 from janisozaur/patch-2
Update debian/compat to version 13
This commit is contained in:
commit
77640a57c9
@ -73,16 +73,16 @@ cp "/tmp/${packagename}_${debversion}.orig.tar.gz" ../
|
||||
# Create debian package information
|
||||
|
||||
mkdir debian
|
||||
echo 9 > debian/compat
|
||||
echo 13 > debian/compat
|
||||
# TODO: the Z3 packages have different build dependencies
|
||||
cat <<EOF > debian/control
|
||||
Source: z3-static
|
||||
Section: science
|
||||
Priority: extra
|
||||
Maintainer: Daniel Kirchner <daniel@ekpyron.org>
|
||||
Build-Depends: debhelper (>= 9.0.0),
|
||||
Build-Depends: debhelper (>= 13.0.0),
|
||||
cmake,
|
||||
g++ (>= 5.0),
|
||||
g++ (>= 9.0),
|
||||
git,
|
||||
libgmp-dev,
|
||||
dh-python,
|
||||
|
@ -156,15 +156,15 @@ cp "/tmp/${packagename}_${debversion}.orig.tar.gz" ../
|
||||
# Create debian package information
|
||||
|
||||
mkdir debian
|
||||
echo 9 > debian/compat
|
||||
echo 13 > debian/compat
|
||||
cat <<EOF > debian/control
|
||||
Source: solc
|
||||
Section: science
|
||||
Priority: extra
|
||||
Maintainer: Christian (Buildserver key) <builds@ethereum.org>
|
||||
Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0),
|
||||
Build-Depends: ${SMTDEPENDENCY}debhelper (>= 13.0.0),
|
||||
cmake,
|
||||
g++ (>= 5.0),
|
||||
g++ (>= 9.0),
|
||||
git,
|
||||
libgmp-dev,
|
||||
libboost-all-dev,
|
||||
|
Loading…
Reference in New Issue
Block a user