diff options
| author | Paul Sokolovsky | 2014-04-20 22:20:48 +0300 |
|---|---|---|
| committer | Paul Sokolovsky | 2014-04-20 22:24:44 +0300 |
| commit | 7f7c7aa76a34adbdb36a82c5a5c8b93805faee0b (patch) | |
| tree | e70fe5b6dfd9f8e35646c2e2ad3c4187a852655c /windows/mpconfigport.mk | |
| parent | a196d08dfc600615e7b3ce3f774ec4de3f0c0b19 (diff) | |
windows: Unbreak mingw32 build (cross-compiling under Linux).
Diffstat (limited to 'windows/mpconfigport.mk')
| -rw-r--r-- | windows/mpconfigport.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/windows/mpconfigport.mk b/windows/mpconfigport.mk new file mode 100644 index 000000000..458f23dd1 --- /dev/null +++ b/windows/mpconfigport.mk @@ -0,0 +1,13 @@ +# 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 = 0 + +# Subset of CPython time module +MICROPY_MOD_TIME = 1 + +# ffi module requires libffi (libffi-dev Debian package) +MICROPY_MOD_FFI = 0 |