diff options
Diffstat (limited to 'mcc.patch')
-rw-r--r-- | mcc.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/mcc.patch b/mcc.patch new file mode 100644 index 0000000..a1203b6 --- /dev/null +++ b/mcc.patch @@ -0,0 +1,11 @@ +--- a/opt/Wolfram/WolframEngine/12.0/Executables/mcc 2019-06-23 23:13:31.000000000 -0400 ++++ b/opt/Wolfram/WolframEngine/12.0/Executables/mcc 2019-11-18 23:52:21.191861413 -0500 +@@ -19,6 +19,8 @@ + SystemIDList="Linux-x86-64 Linux";; + armv?l) + SystemIDList="Linux-ARM";; ++ aarch64) ++ SystemIDList="Linux-ARM";; + *) + SystemIDList="Unknown";; + esac;; |