diff options
Diffstat (limited to 'wolfram.patch')
-rw-r--r-- | wolfram.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/wolfram.patch b/wolfram.patch new file mode 100644 index 0000000..216ab7f --- /dev/null +++ b/wolfram.patch @@ -0,0 +1,20 @@ +--- 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' | \ |