all:
	ocamlbuild -cflags "-w Ae" Test.native ToMatita.native

.PHONY: all