diff --git a/src/tools/get-tools-github b/src/tools/get-tools-github index 61f60d369c..9c1641187f 100755 --- a/src/tools/get-tools-github +++ b/src/tools/get-tools-github @@ -205,6 +205,10 @@ if [[ -d "ga-5.8.2" ]]; then ./gamalloc_patch.sh $GA_DIR ./peigstubs_patch.sh $GA_DIR ./mpipr-too-many_patch.sh $GA_DIR + ./scalapacki4_patch.sh $GA_DIR + if [ $(uname -s) != "Darwin" ]; then + ./autoconf_patch.sh $GA_DIR + fi echo patched touch ga-5.8.2/patched581 fi diff --git a/src/tools/scalapacki4_patch.sh b/src/tools/scalapacki4_patch.sh new file mode 100755 index 0000000000..a9a5f9113f --- /dev/null +++ b/src/tools/scalapacki4_patch.sh @@ -0,0 +1,75 @@ +#!/usr/bin/env bash +rm -f scalapacki4.patch +cat > scalapacki4.patch <