equal
deleted
inserted
replaced
159 |
159 |
160 public option ML_debugger : bool = false |
160 public option ML_debugger : bool = false |
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 -- "prefer native 64bit platform (change requires restart)" |
165 |
165 |
166 public option ML_system_apple : bool = true |
166 public option ML_system_apple : bool = true |
167 -- "prefer native Apple/ARM64 platform (change requires restart)" |
167 -- "prefer native Apple/ARM64 platform (change requires restart)" |
168 |
168 |
169 public option ML_process_policy : string = "" |
169 public option ML_process_policy : string = "" |