From f724d90e6c0c6dadf0a746ba1413517d6ce497db Mon Sep 17 00:00:00 2001 From: Laurens Valk Date: Tue, 29 Nov 2022 10:38:57 +0100 Subject: py/modmicropython: Make module optional. This module is useful, but it is not always needed. Disabling it saves several kilobytes of build size, depending on other config options. Signed-off-by: Laurens Valk --- py/modmicropython.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'py/modmicropython.c') diff --git a/py/modmicropython.c b/py/modmicropython.c index eafff90c60..c717926e66 100644 --- a/py/modmicropython.c +++ b/py/modmicropython.c @@ -32,6 +32,8 @@ #include "py/gc.h" #include "py/mphal.h" +#if MICROPY_PY_MICROPYTHON + // Various builtins specific to MicroPython runtime, // living in micropython module @@ -211,3 +213,5 @@ const mp_obj_module_t mp_module_micropython = { }; MP_REGISTER_MODULE(MP_QSTR_micropython, mp_module_micropython); + +#endif // MICROPY_PY_MICROPYTHON -- cgit v1.2.3