1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

.PHONY: all check demo

all:
	dune build @all

check:
	dune runtest --force --no-buffer

demo: all
	_build/default/main.exe repair cases/peterson.sexp --out build/repair --animate
	_build/default/main.exe contrast build/repair/witness.sexp build/repair/repair.sexp --animate