diff options
Diffstat (limited to 'wolfram.patch')
| -rw-r--r-- | wolfram.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/wolfram.patch b/wolfram.patch deleted file mode 100644 index 216ab7f..0000000 --- a/wolfram.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- a/opt/Wolfram/WolframEngine/12.0/Executables/wolfram 2019-06-23 23:13:31.000000000 -0400 -+++ b/opt/Wolfram/WolframEngine/12.0/Executables/wolfram 2019-11-18 23:52:57.982117618 -0500 -@@ -28,6 +28,8 @@ - fi;; - armv?l) - SystemIDList="Linux-ARM";; -+ aarch64) -+ SystemIDList="Linux-ARM";; - *) - SystemIDList="Unknown";; - esac;; -@@ -117,7 +119,7 @@ - - SED_LIBRARY_PATH=`echo "${M_LIBRARY_PATH}" | sed -e 's/\\//\\\\\//g'` - -- LD_LIBRARY_PATH=`echo "${LD_LIBRARY_PATH}" | \ -+ LD_LIBRARY_PATH=`echo "/usr/libv6h:${LD_LIBRARY_PATH}" | \ - sed -e 's/^'"${SED_LIBRARY_PATH}"'://g' | \ - sed -e 's/:'"${SED_LIBRARY_PATH}"':/:/g' | \ - sed -e 's/:'"${SED_LIBRARY_PATH}"'$//g' | \ |