From 6f285ad19758b0f8bfb20183c1b8d6b48fdd4a14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micha=C5=82=20Janiszewski?= Date: Sun, 4 Dec 2022 23:20:48 +0100 Subject: [PATCH] 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 https://github.com/Debian/debhelper/blob/5d1bb29841043d8e47ebbdd043e6cd086cad508e/debhelper.pod#compatibility-levels --- scripts/deps-ppa/static_z3.sh | 6 +++--- scripts/release_ppa.sh | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/scripts/deps-ppa/static_z3.sh b/scripts/deps-ppa/static_z3.sh index fa237ba08..35fff526f 100755 --- a/scripts/deps-ppa/static_z3.sh +++ b/scripts/deps-ppa/static_z3.sh @@ -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 < debian/control Source: z3-static Section: science Priority: extra Maintainer: Daniel Kirchner -Build-Depends: debhelper (>= 9.0.0), +Build-Depends: debhelper (>= 13.0.0), cmake, - g++ (>= 5.0), + g++ (>= 9.0), git, libgmp-dev, dh-python, diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index 2acd62cd3..cf3e4b335 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -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 < debian/control Source: solc Section: science Priority: extra Maintainer: Christian (Buildserver key) -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,