diff options
author | Damien <damien.p.george@gmail.com> | 2013-10-12 14:30:21 +0100 |
---|---|---|
committer | Damien <damien.p.george@gmail.com> | 2013-10-12 14:30:21 +0100 |
commit | c025ebb2dc38891fff1d451d13382d9717fb1d59 (patch) | |
tree | 803f297d238417c90893a121bf6926519f469f44 /unix/mpyconfig.h | |
parent | a56f29262661ba6affc50d2e1f6e27ecc7aac116 (diff) |
Separate out mpy core and unix version.
Diffstat (limited to 'unix/mpyconfig.h')
-rw-r--r-- | unix/mpyconfig.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/unix/mpyconfig.h b/unix/mpyconfig.h new file mode 100644 index 000000000..117892b3d --- /dev/null +++ b/unix/mpyconfig.h @@ -0,0 +1,14 @@ +// options to control how Micro Python is built + +//#define MICROPY_ENABLE_FLOAT +#define MICROPY_EMIT_ENABLE_CPYTHON +#define MICROPY_EMIT_ENABLE_X64 +//#define MICROPY_EMIT_ENABLE_THUMB +#define MICROPY_EMIT_ENABLE_INLINE_THUMB + +// type definitions for the specific machine + +typedef int64_t machine_int_t; // must be pointer size +typedef uint64_t machine_uint_t; // must be pointer size +typedef void *machine_ptr_t; // must be of pointer size +typedef double machine_float_t; |