diff options
Diffstat (limited to 'ports/rp2/Makefile')
| -rw-r--r-- | ports/rp2/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ports/rp2/Makefile b/ports/rp2/Makefile new file mode 100644 index 000000000..08cd53dcc --- /dev/null +++ b/ports/rp2/Makefile @@ -0,0 +1,14 @@ +# Makefile for micropython on Raspberry Pi RP2 +# +# This is a simple wrapper around cmake + +BUILD = build + +$(VERBOSE)MAKESILENT = -s + +all: + [ -d $(BUILD) ] || cmake -S . -B $(BUILD) -DPICO_BUILD_DOCS=0 + $(MAKE) $(MAKESILENT) -C $(BUILD) + +clean: + $(RM) -rf $(BUILD) |
