diff options
| author | Damien George <damien.p.george@gmail.com> | 2016-01-15 11:12:08 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2016-01-15 11:12:08 +0000 |
| commit | d8b08cf5fcac5ea3bf28f27f9bfa5fc7465c209b (patch) | |
| tree | 6c6edb7300d1a75857130bfddd6fa4ca2ab189be /unix/Makefile | |
| parent | ff133cdb075ea61af7ed5bb441a03219c30bfda6 (diff) | |
| download | micropython-d8b08cf5fcac5ea3bf28f27f9bfa5fc7465c209b.tar.gz micropython-d8b08cf5fcac5ea3bf28f27f9bfa5fc7465c209b.zip | |
unix: Add option to build 64-bit NaN-boxing interpreter.
Build using: make nanbox
Diffstat (limited to 'unix/Makefile')
| -rw-r--r-- | unix/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/unix/Makefile b/unix/Makefile index 159b07c82b..b149234342 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -126,6 +126,8 @@ ifeq ($(PROG),micropython) SRC_C += $(BUILD)/_frozen_upip.c else ifeq ($(PROG),micropython_coverage) SRC_C += $(BUILD)/_frozen_upip.c +else ifeq ($(PROG), micropython_nanbox) +SRC_C += $(BUILD)/_frozen_upip.c else ifeq ($(PROG), micropython_freedos) SRC_C += $(BUILD)/_frozen_upip.c endif @@ -171,6 +173,15 @@ fast: minimal: $(MAKE) COPT="-Os -DNDEBUG" CFLAGS_EXTRA='-DMP_CONFIGFILE="<mpconfigport_minimal.h>"' BUILD=build-minimal PROG=micropython_minimal MICROPY_PY_TIME=0 MICROPY_PY_TERMIOS=0 MICROPY_PY_SOCKET=0 MICROPY_PY_FFI=0 MICROPY_USE_READLINE=0 +# build interpreter with nan-boxing as object model +nanbox: + $(MAKE) \ + CFLAGS_EXTRA='-DMP_CONFIGFILE="<mpconfigport_nanbox.h>"' \ + BUILD=build-nanbox \ + PROG=micropython_nanbox \ + MICROPY_FORCE_32BIT=1 \ + MICROPY_PY_FFI=0 + freedos: $(MAKE) \ CC=i586-pc-msdosdjgpp-gcc \ |