]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.common
removed no longer used METAs
[helm.git] / helm / ocaml / Makefile.common
index 1a8b029f97a626e0dbd0632f091b28ffa13be444..9feae4f8685cfbf825955da7bee37e8bb06f13b9 100644 (file)
@@ -67,6 +67,8 @@ test: test.ml $(ARCHIVE)
        $(OCAMLC) $(ARCHIVE) -linkpkg -o $@ $<
 test.opt: test.ml $(ARCHIVE_OPT)
        $(OCAMLOPT) $(ARCHIVE_OPT) -linkpkg -o $@ $<
+install:
+uninstall:
 
 depend: $(DEPEND_FILES)
        $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend