equal
deleted
inserted
replaced
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" |