etc/options
changeset 76275 b446004b2464
parent 76212 f2094906e491
child 76276 13b733e78c26
equal deleted inserted replaced
76274:793171d7800b 76275:b446004b2464
   161   -- "ML debugger instrumentation for newly compiled code"
   161   -- "ML debugger instrumentation for newly compiled code"
   162 
   162 
   163 public option ML_system_64 : bool = false
   163 public option ML_system_64 : bool = false
   164   -- "ML system for 64bit platform is used if possible (change requires restart)"
   164   -- "ML system for 64bit platform is used if possible (change requires restart)"
   165 
   165 
       
   166 public option ML_system_apple : bool = true
       
   167   -- "prefer native Apple/ARM64 platform (change requires restart)"
       
   168 
   166 public option ML_process_policy : string = ""
   169 public option ML_process_policy : string = ""
   167   -- "ML process command prefix (process policy)"
   170   -- "ML process command prefix (process policy)"
   168 
   171 
   169 
   172 
   170 section "PIDE Build"
   173 section "PIDE Build"