From fab5f7dbf472b0a19ea8a73b8546b997d3cf29e0 Mon Sep 17 00:00:00 2001 From: Nao Pross Date: Fri, 29 Dec 2023 16:05:47 +0100 Subject: Update Makefile and Dockerfile --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index db1c1a7..8102c76 100644 --- a/Makefile +++ b/Makefile @@ -8,8 +8,11 @@ build: Dockerfile act4e-mcdp-hotfix shell: build docker run -it --rm $(tag) /bin/bash -check: build +check-first: build docker run -it --rm $(tag) /bin/bash -c "act4e-mcdp-download-tests --out downloaded && act4e-mcdp-solve-dp-queries --solver act4e_mcdp_solution.DPSolver ./downloaded/lib1-parts" +check-second: build + docker run -it --rm $(tag) /bin/bash -c "act4e-mcdp-download-tests --out downloaded && act4e-mcdp-solve-dp-queries --solver act4e_mcdp_solution.DPSolver ./downloaded/lib2-simple" + hotfix-test: build docker run -it --rm $(tag) act4e-mcdp-download-tests -- cgit v1.2.1