From 1c33e521c460dc40899ce7bc919602b842ce27e2 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 5 Mar 2023 23:52:45 +0000 Subject: gentoo auto-resync : 05:03:2023 - 23:52:45 --- .../cvc4/files/cvc4-1.8-bash-5.2-fix.patch | 44 ++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 sci-mathematics/cvc4/files/cvc4-1.8-bash-5.2-fix.patch (limited to 'sci-mathematics/cvc4/files') diff --git a/sci-mathematics/cvc4/files/cvc4-1.8-bash-5.2-fix.patch b/sci-mathematics/cvc4/files/cvc4-1.8-bash-5.2-fix.patch new file mode 100644 index 000000000000..54398da72555 --- /dev/null +++ b/sci-mathematics/cvc4/files/cvc4-1.8-bash-5.2-fix.patch @@ -0,0 +1,44 @@ +Description: Fix FTBFS with bash 5.2 +Author: Jerry James +Forwarded: no +Last-Update: 2022-10-17 +Bug: https://bugs.gentoo.org/883273 +See: https://salsa.debian.org/science-team/cvc4/-/merge_requests/2/diffs?commit_id=05ca9eee24e279ddfbaebea7393b4303200141ad +--- + +diff --git a/src/expr/mkexpr b/src/expr/mkexpr +index c5f12f487..642a7ff0d 100755 +--- a/src/expr/mkexpr ++++ b/src/expr/mkexpr +@@ -16,6 +16,7 @@ + # + + copyright=2010-2014 ++shopt -u patsub_replacement + + filename=`basename "$1" | sed 's,_template,,'` + +diff --git a/src/expr/mkkind b/src/expr/mkkind +index fbf37eff4..77a8fc7e5 100755 +--- a/src/expr/mkkind ++++ b/src/expr/mkkind +@@ -15,6 +15,7 @@ + # + + copyright=2010-2014 ++shopt -u patsub_replacement + + filename=`basename "$1" | sed 's,_template,,'` + +diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind +index e2a733ec8..935040bed 100755 +--- a/src/expr/mkmetakind ++++ b/src/expr/mkmetakind +@@ -18,6 +18,7 @@ + # + + copyright=2010-2014 ++shopt -u patsub_replacement + + cat <