diff options
Diffstat (limited to 'bare-arm/mpconfigport.h')
| -rw-r--r-- | bare-arm/mpconfigport.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bare-arm/mpconfigport.h b/bare-arm/mpconfigport.h index 19830b454f..73b66802fe 100644 --- a/bare-arm/mpconfigport.h +++ b/bare-arm/mpconfigport.h @@ -12,6 +12,9 @@ #define MICROPY_HELPER_REPL (0) #define MICROPY_HELPER_LEXER_UNIX (0) #define MICROPY_ENABLE_SOURCE_LINE (0) +#define MICROPY_PY_BUILTINS_FROZENSET (0) +#define MICROPY_PY_BUILTINS_SET (0) +#define MICROPY_PY_BUILTINS_SLICE (0) #define MICROPY_PY_BUILTINS_PROPERTY (0) #define MICROPY_PY_COLLECTIONS (0) #define MICROPY_PY_MATH (0) |