From 09c136f6f3cde7ed6a750dec0ac73fcec03e9472 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Sat, 20 Feb 2021 15:49:00 +0100
Subject: First

---
 Makefile | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..51c3aa6
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,21 @@
+all:
+
+tag=mytag
+
+pull:
+	docker pull  andreacensi/act4e:spring2021
+
+build:
+	docker build  -t $(tag) .
+
+
+check: build
+	docker run -it --rm $(tag) act4e-tests --module act4e_solutions
+
+
+check-%: build
+	docker run -it --rm $(tag) act4e-tests --module act4e_solutions --group $*
+
+#
+#check:
+#	docker run -it --rm -v $(PWD):$(PWD):ro -w $(PWD) andreacensi/act4e:spring2021 act4e-tests --module act4e_solutions
-- 
cgit v1.2.1