src/Pure/ML/ml_system.ML

--- a/src/Pure/ML/ml_system.ML	Sun Nov 01 14:30:09 2020 +0100
+++ b/src/Pure/ML/ml_system.ML	Sun Nov 01 15:31:41 2020 +0100
@@ -10,6 +10,7 @@
   val platform: string
   val platform_is_windows: bool
   val platform_is_64: bool
+  val platform_is_arm: bool
   val platform_path: string -> string
   val standard_path: string -> string
 end;
@@ -21,6 +22,7 @@
 val SOME platform = OS.Process.getEnv "ML_PLATFORM";
 val platform_is_windows = String.isSuffix "windows" platform;
 val platform_is_64 = String.isPrefix "x86_64-" platform;
+val platform_is_arm = String.isPrefix "arm64-" platform;
 
 val platform_path =
   if platform_is_windows then