diff options
| author | Damien George | 2014-04-16 11:51:32 +0100 |
|---|---|---|
| committer | Damien George | 2014-04-16 11:51:32 +0100 |
| commit | 4f7f2e04a35c7f10d1b2b299bac19dff002bb07c (patch) | |
| tree | 7af1bf962d704c19a02677e9146e5de63fb24c63 /unix/Makefile | |
| parent | ecdf6cdc5bdbb51451604df0713f1b24476f0714 (diff) | |
| parent | 571d5a3363f66b80d8983050168bc06d70357341 (diff) | |
Merge pull request #497 from lurch/build-32bit
New config option MICROPY_FORCE_32BIT (defaulted to 0)
Diffstat (limited to 'unix/Makefile')
| -rw-r--r-- | unix/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/unix/Makefile b/unix/Makefile index ac1baf3d0..07a75f7ad 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -20,6 +20,16 @@ else LDFLAGS = $(LDFLAGS_MOD) -lm -Wl,-Map=$@.map,--cref endif +ifeq ($(MICROPY_FORCE_32BIT),1) +CFLAGS += -m32 +LDFLAGS += -m32 +ifeq ($(MICROPY_MOD_FFI),1) +ifeq ($(UNAME_S),Linux) +CFLAGS_MOD += -I/usr/include/i686-linux-gnu +endif +endif +endif + ifeq ($(MICROPY_USE_READLINE),1) CFLAGS_MOD += -DMICROPY_USE_READLINE=1 LDFLAGS_MOD += -lreadline |