pyrox.dev
lol
1Per https://bodhi.fedoraproject.org/updates/FEDORA-2022-dc47174c36:
2
3This update fixes a failure to build with source with bash 5.2. Bash's
4`patsub_replacement` feature makes ampersand a special character when doing
5variable substitution, which was not previously the case. This update instructs
6bash to turn off the new behavior.
7
8The patch itself is adapted from
9https://src.fedoraproject.org/rpms/cvc4/blob/f7c24c6ad72a8812d244313f13032fa23d393315/f/cvc4-bash-patsub-replacement.patch.
10--- a/src/expr/mkexpr 2020-06-19 10:59:27.000000000 -0600
11+++ b/src/expr/mkexpr 2022-10-11 14:28:31.120453409 -0600
12@@ -16,6 +16,7 @@
13 #
14
15 copyright=2010-2014
16+shopt -u patsub_replacement
17
18 filename=`basename "$1" | sed 's,_template,,'`
19
20--- a/src/expr/mkkind 2020-06-19 10:59:27.000000000 -0600
21+++ b/src/expr/mkkind 2022-10-11 14:34:17.008996126 -0600
22@@ -15,6 +15,7 @@
23 #
24
25 copyright=2010-2014
26+shopt -u patsub_replacement
27
28 filename=`basename "$1" | sed 's,_template,,'`
29
30--- a/src/expr/mkmetakind 2020-06-19 10:59:27.000000000 -0600
31+++ b/src/expr/mkmetakind 2022-10-11 14:34:32.248020036 -0600
32@@ -18,6 +18,7 @@
33 #
34
35 copyright=2010-2014
36+shopt -u patsub_replacement
37
38 cat <<EOF
39 /********************* */