OCAMLBUILD=ocamlbuild -classic-display 

kind:
	$(OCAMLBUILD) kind.native

pkind:
	$(OCAMLBUILD) pkind_main.native
	$(OCAMLBUILD) pkind.native

kind-invariant:
	$(OCAMLBUILD) kind_invariant.native

clean:
	$(OCAMLBUILD) -clean
