2014-02-27 16:10:40 +00:00
|
|
|
# Enable/disable modules and 3rd-party libs to be included in interpreter
|
|
|
|
|
2014-04-16 01:46:01 +01:00
|
|
|
# Build 32-bit binaries on a 64-bit host
|
|
|
|
MICROPY_FORCE_32BIT = 0
|
|
|
|
|
2015-05-24 22:36:31 +01:00
|
|
|
# This variable can take the following values:
|
|
|
|
# 0 - no readline, just simple input
|
|
|
|
# 1 - use MicroPython version of readline
|
|
|
|
# 2 - use GNU readline (causes binary to be licensed under GPL)
|
2014-02-27 16:10:40 +00:00
|
|
|
MICROPY_USE_READLINE = 1
|
2014-02-01 18:06:55 +00:00
|
|
|
|
2014-02-01 22:57:06 +00:00
|
|
|
# Subset of CPython time module
|
2014-05-24 23:03:12 +01:00
|
|
|
MICROPY_PY_TIME = 1
|
2014-02-01 22:57:06 +00:00
|
|
|
|
2014-08-19 08:23:14 +01:00
|
|
|
# Subset of CPython termios module
|
|
|
|
MICROPY_PY_TERMIOS = 1
|
|
|
|
|
2015-01-11 17:28:27 +00:00
|
|
|
# Subset of CPython socket module
|
|
|
|
MICROPY_PY_SOCKET = 1
|
|
|
|
|
2014-02-01 18:06:55 +00:00
|
|
|
# ffi module requires libffi (libffi-dev Debian package)
|
2014-05-24 23:03:12 +01:00
|
|
|
MICROPY_PY_FFI = 1
|
2015-09-11 15:57:47 +01:00
|
|
|
|
|
|
|
# jni module requires JVM/JNI
|
|
|
|
MICROPY_PY_JNI = 0
|