makeall 303 Bytes
Newer Older
1
2
3
4
5
6
#!/bin/sh

make BUILD=build-32s CFLAGS_EXTRA='-Os -DMICROPY_USE_64BIT_NAN_BOXING=0'
make BUILD=build-323 CFLAGS_EXTRA='-O3 -DMICROPY_USE_64BIT_NAN_BOXING=0'
make BUILD=build-64s CFLAGS_EXTRA='-Os -DMICROPY_USE_64BIT_NAN_BOXING=1'
make BUILD=build-643 CFLAGS_EXTRA='-O3 -DMICROPY_USE_64BIT_NAN_BOXING=1'