From 57c00eece84ce5e6f7ffad7090cb3c399a3e143d Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 11 Dec 2019 15:29:19 +0100 Subject: [PATCH] Require specific version of g++ to make PPA happy. --- scripts/release_ppa.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index c716bac4c..90ef3c943 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -140,7 +140,7 @@ Priority: extra Maintainer: Christian (Buildserver key) Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0), cmake, - g++, + g++ (>= 5.0), git, libgmp-dev, libboost-all-dev,