]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile
fix
[helm.git] / helm / ocaml / Makefile
index 0d1867293bdb3b1687a60a8d6844d1199ac916b1..4558a011cb2b22fb99740be45c612492d3ef2683 100644 (file)
@@ -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)/$*\"" >> $@