tag=act4e-image-mcdp

.PHONY: build shell check hotfix-test

build: Dockerfile act4e-mcdp-hotfix
	docker build -f Dockerfile -t $(tag) .

shell: build
	docker run -it --rm $(tag) /bin/bash

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