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
	dune exec reorder -- repair cases/peterson.sexp --out build/repair --animate
	dune exec reorder -- contrast build/repair/witness.sexp build/repair/repair.sexp --animate