]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile
removed no longer used METAs
[helm.git] / helm / ocaml / Makefile
index 0d1867293bdb3b1687a60a8d6844d1199ac916b1..2968a240512c20633d8a20816f3ba21ae23dca58 100644 (file)
@@ -62,7 +62,7 @@ EXTRA_DIST_CLEAN = \
 distclean: clean clean_metas
        rm -f $(METAS)
        rm -f configure config.log config.cache config.status
-       rm -f Makefile Makefile.common $(EXTRA_DIST_CLEAN)
+       rm -f $(EXTRA_DIST_CLEAN)
 
 .PHONY: all opt world metas depend install uninstall clean clean_metas distclean
 
@@ -76,6 +76,10 @@ distclean: clean clean_metas
        $(MAKE) -C $* depend 
 %.stats:
        @$(MAKE) -C $* .stats
+%.install:
+       $(MAKE) -C $* install 
+%.uninstall:
+       $(MAKE) -C $* uninstall 
 
 METAS/META.helm-%: METAS/meta.helm-%.src
        cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@