| Damien | c025ebb | 2013-10-12 14:30:21 +0100 | [diff] [blame^] | 1 | // options to control how Micro Python is built |
| 2 | |
| 3 | //#define MICROPY_ENABLE_FLOAT |
| 4 | #define MICROPY_EMIT_ENABLE_CPYTHON |
| 5 | #define MICROPY_EMIT_ENABLE_X64 |
| 6 | //#define MICROPY_EMIT_ENABLE_THUMB |
| 7 | #define MICROPY_EMIT_ENABLE_INLINE_THUMB |
| 8 | |
| 9 | // type definitions for the specific machine |
| 10 | |
| 11 | typedef int64_t machine_int_t; // must be pointer size |
| 12 | typedef uint64_t machine_uint_t; // must be pointer size |
| 13 | typedef void *machine_ptr_t; // must be of pointer size |
| 14 | typedef double machine_float_t; |