Rename default config file to mpconfig.h, and port's to mpconfigport.h.

mpconfig.h will automatically pull mpconfigport.h.

1 files changed, 0 insertions, 19 deletions

diff --git a/stm/mpconfig.h b/stm/mpconfig.h
deleted file mode 100644
index 1f9529e11..000000000
--- a/stm/mpconfig.h
+++ /dev/null
@@ -1,19 +0,0 @@
-// options to control how Micro Python is built
-
-#define MICROPY_ENABLE_FLOAT        (1)
-#define MICROPY_EMIT_CPYTHON        (0)
-#define MICROPY_EMIT_X64            (0)
-#define MICROPY_EMIT_THUMB          (1)
-#define MICROPY_EMIT_INLINE_THUMB   (1)
-
-// type definitions for the specific machine
-
-#define BYTES_PER_WORD (4)
-
-typedef int32_t machine_int_t; // must be pointer size
-typedef uint32_t machine_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 float machine_float_t;
-
-machine_float_t machine_sqrt(machine_float_t x);