summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-27 13:07:33 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-27 13:07:33 +0100
commit1987cc7f22a139fbd2ead1223ab878cddccd3f96 (patch)
treef39d87b3ecbce3d8b28e65fee02eafbeea4c167b /Makefile
parentmore exercises (diff)
downloadact4e-1987cc7f22a139fbd2ead1223ab878cddccd3f96.tar.gz
act4e-1987cc7f22a139fbd2ead1223ab878cddccd3f96.zip
fix
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile12
1 files changed, 6 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index 3090a59..9c80517 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,9 @@
all:
-tag=mytag
+tag=act4e-image
build:
- docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
+ docker build -f .devcontainer/Dockerfile --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
docker-check: build
docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
@@ -14,8 +14,8 @@ docker-check-%: build
docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
act4e-test --collections act4e_checks --module act4e_solutions --group $*
-check:
- act4e-test --collections act4e_checks --module act4e_solutions
+# check:
+# act4e-test --collections act4e_checks --module act4e_solutions
-check-%:
- act4e-test --collections act4e_checks --module act4e_solutions --group $* \ No newline at end of file
+# check-%:
+# act4e-test --collections act4e_checks --module act4e_solutions --group $* \ No newline at end of file