fastConv-tool:
	@rm -f fastConv
	@ocamlbuild fastconv/fastConv.native
	@cp fastConv.native fastConv

arith-tool:
	@rm -f arith
	@ocamlbuild to_prenex/arith.native
	@cp arith.native arith

clean:
	ocamlbuild -clean
