This commit is contained in:
edoapra 2023-10-20 16:14:35 -07:00
parent 2f8801b4d2
commit 7f5ce1a0c2
No known key found for this signature in database
GPG key ID: 48E12DA1EDE9E1B0
2 changed files with 19 additions and 0 deletions

16
src/tools/autoconf_patch.sh Executable file
View file

@ -0,0 +1,16 @@
#!/usr/bin/env bash
rm -f autoconf.patch
cat > autoconf.patch <<EOF
--- $1/configure.org 2022-11-03 14:47:40.000000000 -0700
+++ $1/configure 2023-10-20 15:36:29.516676155 -0700
@@ -21699 +21698,0 @@
- s/\/.*\/lib.*\.a//p ;
@@ -21811 +21809,0 @@
- s/\/.*\/lib.*\.a//p ;
@@ -22145 +22142,0 @@
- s/\/.*\/lib.*\.a//p ;
@@ -22257 +22253,0 @@
- s/\/.*\/lib.*\.a//p ;
EOF
patch -p0 -s -N < ./autoconf.patch
echo autoconf.patch applied

View file

@ -206,6 +206,9 @@ if [[ -d "ga-5.8.2" ]]; then
./peigstubs_patch.sh $GA_DIR
./mpipr-too-many_patch.sh $GA_DIR
./ga_ma_align_patch.sh $GA_DIR
if [ $(uname -s) != "Darwin" ]; then
./autoconf_patch.sh $GA_DIR
fi
echo patched
touch ga-5.8.2/patched581
fi