+matitadep: matitadep.ml $(DEPLIB_DEPS) $(CCMOS)
+ $(OCAMLC) $(DEPPKGS) -linkpkg -o $@ $(CCMOS) $<
+matitadep.opt: matitadep.ml $(DEPLIB_DEPS) $(CCMXS)
+ $(OCAMLOPT) $(DEPPKGS) -linkpkg -o $@ $(CCMXS) $<
+
+matitaclean: matitaclean.ml $(CLEANLIB_DEPS) $(CLEANCMOS)
+ $(OCAMLC) $(CLEANPKGS) -linkpkg -o $@ $(CLEANCMOS) $<
+matitaclean.opt: matitaclean.ml $(CLEANLIB_DEPS) $(CLEANCMXS)
+ $(OCAMLOPT) $(CLEANPKGS) -linkpkg -o $@ $(CLEANCMXS) $<
+
+matitamake: matitamake.ml $(MAKECMOS)
+ $(OCAMLC) $(PKGS) -linkpkg -o $@ $(MAKECMOS) $<
+matitamake.opt: matitamake.ml $(MAKECMXS)
+ $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(MAKECMXS) $<
+