| Damien | ed65605 | 2013-10-13 00:42:20 +0100 | [diff] [blame] | 1 | // options to control how Micro Python is built |
| 2 | |
| Damien | fecee2b | 2013-11-02 16:41:51 +0000 | [diff] [blame] | 3 | #define MICROPY_ENABLE_FLOAT (1) |
| Damien | ed65605 | 2013-10-13 00:42:20 +0100 | [diff] [blame] | 4 | #define MICROPY_EMIT_CPYTHON (0) |
| 5 | #define MICROPY_EMIT_X64 (0) |
| 6 | #define MICROPY_EMIT_THUMB (1) |
| 7 | #define MICROPY_EMIT_INLINE_THUMB (1) |
| 8 | |
| 9 | // type definitions for the specific machine |
| 10 | |
| Damien | 3f69aca | 2013-10-21 23:46:04 +0100 | [diff] [blame] | 11 | #define BYTES_PER_WORD (4) |
| 12 | |
| Damien | ed65605 | 2013-10-13 00:42:20 +0100 | [diff] [blame] | 13 | typedef int32_t machine_int_t; // must be pointer size |
| 14 | typedef uint32_t machine_uint_t; // must be pointer size |
| 15 | typedef void *machine_ptr_t; // must be of pointer size |
| 16 | typedef float machine_float_t; |
| Damien | 39c6c59 | 2013-11-09 20:15:48 +0000 | [diff] [blame] | 17 | |
| 18 | machine_float_t machine_sqrt(machine_float_t x); |