diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-02-27 15:09:15 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-02-27 15:09:15 +1100 |
| commit | ad81a2e6cf349cba514e73dc4fe18b1d512b7ce4 (patch) | |
| tree | 37cb0aa48de7a3163bd97fb15dd07b426d744f48 /minimal/mpconfigport.h | |
| parent | 3b2fd4df31fad39b66eadefc2b95b143c1b67add (diff) | |
minimal: Add ability and description to build without the compiler.
Diffstat (limited to 'minimal/mpconfigport.h')
| -rw-r--r-- | minimal/mpconfigport.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/minimal/mpconfigport.h b/minimal/mpconfigport.h index 5236babf6..e08943860 100644 --- a/minimal/mpconfigport.h +++ b/minimal/mpconfigport.h @@ -2,6 +2,11 @@ // options to control how Micro Python is built +// You can disable the built-in MicroPython compiler by setting the following +// config option to 0. If you do this then you won't get a REPL prompt, but you +// will still be able to execute pre-compiled scripts, compiled with mpy-cross. +#define MICROPY_ENABLE_COMPILER (1) + #define MICROPY_QSTR_BYTES_IN_HASH (1) #define MICROPY_QSTR_EXTRA_POOL mp_qstr_frozen_const_pool #define MICROPY_ALLOC_PATH_MAX (256) |