all: trew maude
	./trew -t test

coq: trew
	./trew -coq -t ../prelude.rw > prelude.v
	coqtop -batch -l prelude.v

trew: main.ml
	ocamlopt -inline 16  -o $@ unix.cmxa nums.cmxa $< 

p:
	ocamlopt -inline 0 -p -o trew.p unix.cmxa nums.cmxa main.ml

d:
	ocamlc -g -o trew.d main.ml
	ocamldebug trew.d test

maude:
	./trew -maude -t test > tmp.maude
	cat trew.maude tmp.maude > all.maude
	maude -ansi-color < all.maude > log
	@cat log
	@echo "*** ERRS"
	@grep result log | grep -v 'result C: (true).C' || :

clean:
	rm -f trew trew.p trew.d *.cmx *.cmi *.cmo *.o