From fab5f7dbf472b0a19ea8a73b8546b997d3cf29e0 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
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