summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-22 20:02:29 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-22 20:02:29 +0100
commitd7381d180ec8e9f72a5fae76ad713003b30b4c7e (patch)
tree3a4a2aa0c9224592ac62d43f1ad5cf8082230a11 /Makefile
parentmore comments (diff)
parentfix (diff)
downloadact4e-d7381d180ec8e9f72a5fae76ad713003b30b4c7e.tar.gz
act4e-d7381d180ec8e9f72a5fae76ad713003b30b4c7e.zip
misc
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile13
1 files changed, 5 insertions, 8 deletions
diff --git a/Makefile b/Makefile
index 83fd1b8..5177571 100644
--- a/Makefile
+++ b/Makefile
@@ -1,20 +1,17 @@
all:
-DOCKER_REGISTRY ?= reg-z7-prod.zuper.ai
-
tag=mytag
-pull:
- docker pull ${DOCKER_REGISTRY}/act4e/act4e-tests:alphubel
-
-build: pull
+build:
docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
check: build
- docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) act4e-tests --module act4e_solutions
+ docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
+ act4e-test --collections act4e_checks --module act4e_solutions
check-%: build
- docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) act4e-tests --module act4e_solutions --group $*
+ docker run -it --rm -v $(PWD)/out-results:/ACT4E/out-results $(tag) \
+ act4e-test --collections act4e_checks --module act4e_solutions --group $*