diff options
| author | Damien George | 2014-01-29 21:51:51 +0000 |
|---|---|---|
| committer | Damien George | 2014-01-29 21:51:51 +0000 |
| commit | 62ad189a65e5e3b4cb6c64c9ea2d493f2c06fffd (patch) | |
| tree | 61426072aec2867df6492570e0522b471a3764c1 /py/mpconfig.h | |
| parent | 2d15c1216ddad8ee603106fd86ad36baf2d40ff8 (diff) | |
py: Add compile option to enable/disable source line numbers.
Diffstat (limited to 'py/mpconfig.h')
| -rw-r--r-- | py/mpconfig.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/py/mpconfig.h b/py/mpconfig.h index 97e4b1387..38b74b733 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -76,6 +76,12 @@ typedef long long mp_longint_impl_t; #endif +// Whether to include information in the byte code to determine source +// line number (increases RAM usage, but doesn't slow byte code execution) +#ifndef MICROPY_ENABLE_SOURCE_LINE +#define MICROPY_ENABLE_SOURCE_LINE (0) +#endif + // Whether to support float and complex types #ifndef MICROPY_ENABLE_FLOAT #define MICROPY_ENABLE_FLOAT (0) |