diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..9c80517 --- /dev/null +++ b/Makefile @@ -0,0 +1,21 @@ +all: + +tag=act4e-image + +build: + 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) \ + act4e-test --collections act4e_checks --module act4e_solutions + + +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 --group $*
\ No newline at end of file |