add docker makefile target

1 files changed, 5 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index ae4b883a..895dc3be 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all sail language clean archs isabelle-lib apply_header
+.PHONY: all sail language clean archs isabelle-lib apply_header docker
 
 INSTALL_DIR ?= .
 
@@ -86,3 +86,7 @@ clean:
 	  $(MAKE) -C "$$subdir" clean;\
 	done
 	rm -f sail
+
+docker:
+	docker build --tag sail:0.1 .
+	@echo 'for example: docker run --volume `PWD`:/data/ sail:0.1 --help'