diff options
Diffstat (limited to 'bare-arm/mpconfigport.h')
| -rw-r--r-- | bare-arm/mpconfigport.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bare-arm/mpconfigport.h b/bare-arm/mpconfigport.h index caf37419af..79b2b73283 100644 --- a/bare-arm/mpconfigport.h +++ b/bare-arm/mpconfigport.h @@ -42,6 +42,7 @@ #define MICROPY_CPYTHON_COMPAT (0) #define MICROPY_LONGINT_IMPL (MICROPY_LONGINT_IMPL_NONE) #define MICROPY_FLOAT_IMPL (MICROPY_FLOAT_IMPL_NONE) +#define MICROPY_USE_INTERNAL_PRINTF (0) // type definitions for the specific machine @@ -54,8 +55,6 @@ typedef int32_t mp_int_t; // must be pointer size typedef uint32_t mp_uint_t; // must be pointer size -typedef void *machine_ptr_t; // must be of pointer size -typedef const void *machine_const_ptr_t; // must be of pointer size typedef long mp_off_t; // dummy print |