diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-08-23 11:20:50 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-08-28 12:47:58 +1000 |
| commit | af20c2ead3e9bb397fdf89e316aa78b56f165013 (patch) | |
| tree | 99cc8c752d6347dc9f0d6dccb6e11384626bd278 /ports/unix/main.c | |
| parent | 8e3e05761e1143a2502c7eca07c1b22bac192c84 (diff) | |
py: Add global default_emit_opt variable to make emit kind persistent.
mp_compile no longer takes an emit_opt argument, rather this setting is now
provided by the global default_emit_opt variable.
Now, when -X emit=native is passed as a command-line option, the emitter
will be set for all compiled modules (included imports), not just the
top-level script.
In the future there could be a way to also set this variable from a script.
Fixes issue #4267.
Diffstat (limited to 'ports/unix/main.c')
| -rw-r--r-- | ports/unix/main.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c index c8f083350..65a4dd8a1 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -138,7 +138,7 @@ STATIC int execute_from_lexer(int source_kind, const void *source, mp_parse_inpu } #endif - mp_obj_t module_fun = mp_compile(&parse_tree, source_name, emit_opt, is_repl); + mp_obj_t module_fun = mp_compile(&parse_tree, source_name, is_repl); if (!compile_only) { // execute it @@ -456,6 +456,13 @@ MP_NOINLINE int main_(int argc, char **argv) { mp_init(); + #if MICROPY_EMIT_NATIVE + // Set default emitter options + MP_STATE_VM(default_emit_opt) = emit_opt; + #else + (void)emit_opt; + #endif + #if MICROPY_VFS_POSIX { // Mount the host FS at the root of our internal VFS |