OCAMLBUILD=ocamlbuild -I src

default: proofs.byte

%.cmo: src/*.ml
	$(OCAMLBUILD) $@

%.byte: src/*.ml
	$(OCAMLBUILD) $@

.PHONY: clean
clean:
	rm -rf _build
	rm -f proofs.byte