diff options
Diffstat (limited to 'WolframKernel.patch')
-rw-r--r-- | WolframKernel.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/WolframKernel.patch b/WolframKernel.patch deleted file mode 100644 index aa57a62..0000000 --- a/WolframKernel.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- a/opt/Wolfram/WolframEngine/12.0/Executables/WolframKernel 2019-06-23 23:13:31.000000000 -0400 -+++ b/opt/Wolfram/WolframEngine/12.0/Executables/WolframKernel 2019-11-18 23:50:47.001205476 -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' | \ |