]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile.in
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / interface / Makefile.in
index fe2a0dc4517e4dc2ddcc199a8d329b48f4cd8322..2e92fd82be5209443ca88ca55a638924640c1c54 100644 (file)
@@ -1,5 +1,5 @@
 OCAML_ROOT = @OCAML_ROOT@
-HELM_BIN_DIR = @HELM_BIN_DIR@
+BIN_DIR = @BIN_DIR@
 LABLGTK_DIR = @LABLGTK_LIB_DIR@
 LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
 MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
@@ -178,12 +178,18 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 install:
-       cp mmlinterface mmlinterface.opt helm_wget $(HELM_BIN_DIR)
+       cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
 
-distclean:
+distclean: clean
        rm -f Makefile configuration.ml helm_wget configure config.log \
          config.cache config.status
 
+dist:   clean
+       rm -rf ../@PACKAGE@-@VERSION@
+       mkdir ../@PACKAGE@-@VERSION@
+       cp -r * .depend ../@PACKAGE@-@VERSION@
+       (cd .. ; tar cvfz @PACKAGE@-@VERSION@.tar.gz @PACKAGE@-@VERSION@ ; rm -rf @PACKAGE@-@VERSION@)
+
 .PHONY: install distclean clean
 
 include .depend