etc/options
changeset 77715 27dd3a3fcc54
parent 77709 53dc388b98ec
child 78018 dfa44d85d751
equal deleted inserted replaced
77714:be0b9396604e 77715:27dd3a3fcc54
   166   -- "ML debugger instrumentation for newly compiled code"
   166   -- "ML debugger instrumentation for newly compiled code"
   167 
   167 
   168 public option ML_system_64 : bool = false for build
   168 public option ML_system_64 : bool = false for build
   169   -- "prefer native 64bit platform (change requires restart)"
   169   -- "prefer native 64bit platform (change requires restart)"
   170 
   170 
   171 public option ML_system_apple : bool = true for build#
   171 public option ML_system_apple : bool = true for build
   172   -- "prefer native Apple/ARM64 platform (change requires restart)"
   172   -- "prefer native Apple/ARM64 platform (change requires restart)"
   173 
   173 
   174 
   174 
   175 section "Build Process"
   175 section "Build Process"
   176 
   176