diff options
author | Damien George <damien.p.george@gmail.com> | 2014-04-13 00:37:03 +0100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-04-13 00:37:03 +0100 |
commit | fe6ded4d17114ed83a5546a64c4f35cc050d2488 (patch) | |
tree | ec2d22c926f4c14d86e32c79f25e2804da4fd8ff | |
parent | eb936189aa6ce72740ecdd2d47dde1b24a4c82bf (diff) | |
parent | 9a092831f7c87ad14d74749451503a15fb59a732 (diff) | |
download | micropython-fe6ded4d17114ed83a5546a64c4f35cc050d2488.tar.gz micropython-fe6ded4d17114ed83a5546a64c4f35cc050d2488.zip |
Merge pull request #472 from pfalcon/modffi-on
unix: Enable modffi by default.
-rw-r--r-- | unix/mpconfigport.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/mpconfigport.mk b/unix/mpconfigport.mk index d30be8b986..bfb01a71f1 100644 --- a/unix/mpconfigport.mk +++ b/unix/mpconfigport.mk @@ -7,4 +7,4 @@ MICROPY_USE_READLINE = 1 MICROPY_MOD_TIME = 1 # ffi module requires libffi (libffi-dev Debian package) -MICROPY_MOD_FFI = 0 +MICROPY_MOD_FFI = 1 |