X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile.in;h=2e92fd82be5209443ca88ca55a638924640c1c54;hb=4ef40e8fb4de63f9699268b389f052007bc87f54;hp=b31b68e616f3a7bc37069cd4de48edc5564703ba;hpb=274cfc6d7faa3c8bbeaac47fc48365128f01c5bb;p=helm.git

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index b31b68e61..2e92fd82b 100644
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -1,13 +1,16 @@
 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@
 
-LABLGTK_DIR = $(OCAML_ROOT)/lablgtk
-LABLGTK_MATHVIEW_DIR = $(OCAML_ROOT)/lablgtk/mathview
-MINIDOM_DIR = $(OCAML_ROOT)/minidom
 PXP_DIR = $(OCAML_ROOT)/site-lib/pxp
 NETSTRING_DIR = $(OCAML_ROOT)/site-lib/netstring
-OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
-OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
+
+#OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
+#OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I mlgtk_devel -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
+OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) 
+OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTKMATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) 
 OCAMLDEP = ocamldep
 
 all: experiment reduction fix_params mmlinterface
@@ -111,12 +114,12 @@ mmlinterface: $(MMLINTERFACEOBJS)
                   lablgtk.cma gtkInit.cmo \
                   $(MINIDOM_DIR)/minidom.cmo \
                   $(MINIDOM_DIR)/ominidom.cmo \
-                  $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
+                  $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cma \
                   $(MMLINTERFACEOBJS) \
                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
                   -lunix `gtkmathview-config --libs` \
-                  $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
+                  $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
                   $(MINIDOM_DIR)/ml_minidom.o" \
                   -cclib -lmldbm -cclib -lndbm
 
@@ -125,12 +128,12 @@ mmlinterface.opt: $(MMLINTERFACEOPTOBJS)
                     dbm.cmxa lablgtk.cmxa gtkInit.cmx \
                     $(MINIDOM_DIR)/minidom.cmx \
                     $(MINIDOM_DIR)/ominidom.cmx \
-                    $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
+                    $(LABLGTKMATHVIEW_DIR)/lablgtkmathview.cmxa \
                     $(MMLINTERFACEOPTOBJS) \
                     -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                     -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
                     -lunix `gtkmathview-config --libs` \
-                    $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o \
+                    $(LABLGTKMATHVIEW_DIR)/ml_gtk_mathview.o \
                     $(MINIDOM_DIR)/ml_minidom.o" \
                     -cclib -lmldbm -cclib -lndbm
 
@@ -175,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