01dd7804b8
This is to keep the top-level directory clean, to make it clear what is core and what is a port, and to allow the repository to grow with new ports in a sustainable way.
11 lines
310 B
Makefile
11 lines
310 B
Makefile
# Enable/disable modules and 3rd-party libs to be included in interpreter
|
|
|
|
# Build 32-bit binaries on a 64-bit host
|
|
MICROPY_FORCE_32BIT = 0
|
|
|
|
# Linking with GNU readline causes binary to be licensed under GPL
|
|
MICROPY_USE_READLINE = 1
|
|
|
|
# ffi module requires libffi (libffi-dev Debian package)
|
|
MICROPY_PY_FFI = 0
|