2014-02-27 11:10:40 -05:00
|
|
|
# Enable/disable modules and 3rd-party libs to be included in interpreter
|
|
|
|
|
2014-04-15 20:46:01 -04:00
|
|
|
# Build 32-bit binaries on a 64-bit host
|
|
|
|
MICROPY_FORCE_32BIT = 0
|
|
|
|
|
2014-02-27 11:10:40 -05:00
|
|
|
# Linking with GNU readline causes binary to be licensed under GPL
|
|
|
|
MICROPY_USE_READLINE = 1
|
2014-02-01 13:06:55 -05:00
|
|
|
|
2014-02-01 17:57:06 -05:00
|
|
|
# Subset of CPython time module
|
2014-05-24 18:03:12 -04:00
|
|
|
MICROPY_PY_TIME = 1
|
2014-02-01 17:57:06 -05:00
|
|
|
|
2014-02-01 13:06:55 -05:00
|
|
|
# ffi module requires libffi (libffi-dev Debian package)
|
2014-05-24 18:03:12 -04:00
|
|
|
MICROPY_PY_FFI = 1
|