| Paul Sokolovsky | b372bfc | 2014-01-03 17:15:53 +0200 | [diff] [blame] | 1 | // This file contains default configuration settings for MicroPython. |
| 2 | // You can override any of these options using mpconfigport.h file located |
| 3 | // in a directory of your port. |
| 4 | |
| 5 | #include <mpconfigport.h> |
| 6 | |
| Paul Sokolovsky | c90c0f6 | 2014-01-04 01:57:00 +0200 | [diff] [blame^] | 7 | #ifndef INT_FMT |
| 8 | // printf format spec to use for machine_int_t and friends |
| 9 | #ifdef __LP64__ |
| 10 | // Archs where machine_int_t == long, long != int |
| 11 | #define UINT_FMT "%lu" |
| 12 | #define INT_FMT "%ld" |
| 13 | #else |
| 14 | // Archs where machine_int_t == int |
| 15 | #define UINT_FMT "%u" |
| 16 | #define INT_FMT "%d" |
| 17 | #endif |
| 18 | #endif //INT_FMT |
| 19 | |
| 20 | |
| Paul Sokolovsky | b372bfc | 2014-01-03 17:15:53 +0200 | [diff] [blame] | 21 | // Any options not explicitly set in mpconfigport.h will get default |
| 22 | // values below. |
| 23 | |
| 24 | // Whether to collect memory allocation stats |
| 25 | #ifndef MICROPY_MEM_STATS |
| 26 | #define MICROPY_MEM_STATS (1) |
| 27 | #endif |