X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Finterface%2FMakefile.in;h=86ea2f501fd3ba0ec1d4a2c2697740bf4c30c54f;hb=251e34e3e92475a72223f16cc2ce607c9db6a671;hp=cb833fcc74cca8789e3ea5e7e057c34f16663d7f;hpb=8888ef176932798ba5c3b332eb1e9f2d57bf2a88;p=helm.git

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index cb833fcc7..86ea2f501 100644
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -1,11 +1,16 @@
-OCAML_ROOT = /usr/lib/ocaml
-LABLGTK_DIR = $(OCAML_ROOT)/lablgtk
-LABLGTK_MATHVIEW_DIR = $(OCAML_ROOT)/lablgtk/mathview
-MINIDOM_DIR = $(OCAML_ROOT)/minidom
+OCAML_ROOT = @OCAML_ROOT@
+BIN_DIR = @BIN_DIR@
+LABLGTK_DIR = @LABLGTK_LIB_DIR@
+LABLGTKMATHVIEW_DIR = @LABLGTKMATHVIEW_LIB_DIR@
+MINIDOM_DIR = @MLMINIDOM_LIB_DIR@
+
 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
@@ -109,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
 
@@ -123,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
 
@@ -172,4 +177,13 @@ clean:
            reduction.opt fix_params fix_params.opt mmlinterface \
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
+install:
+	cp mmlinterface mmlinterface.opt helm_wget $(BIN_DIR)
+
+distclean:
+	rm -f Makefile configuration.ml helm_wget configure config.log \
+         config.cache config.status
+
+.PHONY: install distclean clean
+
 include .depend