From 6812cd743d10672223a94dadea09018af2ea7c97 Mon Sep 17 00:00:00 2001
From: jp
Date: Wed, 3 Jun 2020 13:12:16 +0100
Subject: add docker makefile target

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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'
-- 
cgit v1.2.3