9a092831f7
ffi is needed to use micropython-lib, so let's have it enabled by default, then folks who have troubles with libffi can disable it, instead of everyone doing manual actions again and again.
11 lines
299 B
Makefile
11 lines
299 B
Makefile
# Enable/disable modules and 3rd-party libs to be included in interpreter
|
|
|
|
# Linking with GNU readline causes binary to be licensed under GPL
|
|
MICROPY_USE_READLINE = 1
|
|
|
|
# Subset of CPython time module
|
|
MICROPY_MOD_TIME = 1
|
|
|
|
# ffi module requires libffi (libffi-dev Debian package)
|
|
MICROPY_MOD_FFI = 1
|