From d51c60b76da2d4caf8ed780264cfd9b9c1d04471 Mon Sep 17 00:00:00 2001 From: johannst Date: Tue, 29 Sep 2020 04:40:40 +0200 Subject: added docker target to build and launch dev container --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 47c7c90..80f59d0 100644 --- a/Makefile +++ b/Makefile @@ -42,6 +42,12 @@ else || gdb -x util.gdb -ex 'start' example/demo1 endif +docker: docker/Dockerfile + cd docker && ./build.sh + docker run -it --rm -v $(PWD):/develop matcha-box:latest +.PHONY: docker + + clean: make -C lib clean rm -f example/demo1 example/demo1.o -- cgit v1.2.3