summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYoungJoon Chun <yjchun@mac.com>2022-02-09 20:58:56 +0900
committerDamien George <damien@micropython.org>2022-02-18 14:26:57 +1100
commit767058f3282bf4836e7b9f137bada3c0d8b717af (patch)
tree5509cd448bb36f1b1d6cbe80ad7a8137f53cd486
parent18acd0318f927930dd7f9efd77f08d8e05a43ce8 (diff)
rp2/Makefile: Add FROZEN_MANIFEST Makefile option, to override default.
-rw-r--r--ports/rp2/Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/rp2/Makefile b/ports/rp2/Makefile
index 2af13bfbb..2d1e6d6f5 100644
--- a/ports/rp2/Makefile
+++ b/ports/rp2/Makefile
@@ -14,6 +14,10 @@ ifdef USER_C_MODULES
CMAKE_ARGS += -DUSER_C_MODULES=${USER_C_MODULES}
endif
+ifneq ($(FROZEN_MANIFEST),)
+CMAKE_ARGS += -DMICROPY_FROZEN_MANIFEST=${FROZEN_MANIFEST}
+endif
+
all:
[ -d $(BUILD) ] || cmake -S . -B $(BUILD) -DPICO_BUILD_DOCS=0 ${CMAKE_ARGS}
$(MAKE) $(MAKESILENT) -C $(BUILD)