mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Update debian/compat to version 13
Compat version 13 is currently the recommended one.
An important change introduced in 10 was change of default to target parallel builds
5d1bb29841/debhelper.pod (compatibility-levels)
This commit is contained in:
parent
dbf35f1c14
commit
6f285ad197
@ -73,16 +73,16 @@ cp "/tmp/${packagename}_${debversion}.orig.tar.gz" ../
|
|||||||
# Create debian package information
|
# Create debian package information
|
||||||
|
|
||||||
mkdir debian
|
mkdir debian
|
||||||
echo 9 > debian/compat
|
echo 13 > 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 (>= 9.0.0),
|
Build-Depends: debhelper (>= 13.0.0),
|
||||||
cmake,
|
cmake,
|
||||||
g++ (>= 5.0),
|
g++ (>= 9.0),
|
||||||
git,
|
git,
|
||||||
libgmp-dev,
|
libgmp-dev,
|
||||||
dh-python,
|
dh-python,
|
||||||
|
@ -156,15 +156,15 @@ cp "/tmp/${packagename}_${debversion}.orig.tar.gz" ../
|
|||||||
# Create debian package information
|
# Create debian package information
|
||||||
|
|
||||||
mkdir debian
|
mkdir debian
|
||||||
echo 9 > debian/compat
|
echo 13 > 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 (>= 9.0.0),
|
Build-Depends: ${SMTDEPENDENCY}debhelper (>= 13.0.0),
|
||||||
cmake,
|
cmake,
|
||||||
g++ (>= 5.0),
|
g++ (>= 9.0),
|
||||||
git,
|
git,
|
||||||
libgmp-dev,
|
libgmp-dev,
|
||||||
libboost-all-dev,
|
libboost-all-dev,
|
||||||
|
Loading…
Reference in New Issue
Block a user