diff options
Diffstat (limited to 'sci-mathematics/cvc4/files/cvc4-1.8-bash-5.2-fix.patch')
-rw-r--r-- | sci-mathematics/cvc4/files/cvc4-1.8-bash-5.2-fix.patch | 44 |
1 files changed, 44 insertions, 0 deletions
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 <loganjerry@gmail.com> +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 <<EOF + /********************* */ |