src/Pure/ML/ml_system.ML

 sig
   val name: string
   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;
 
 structure ML_System: ML_SYSTEM =

 
 val SOME name = OS.Process.getEnv "ML_SYSTEM";
 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
     fn path =>
       if String.isPrefix "/" path andalso not (String.isPrefix "//" path) then