]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile.in
added LICENSE
[helm.git] / helm / interface / Makefile.in
index 39328094c8ae0db36e4f5c75c247b9b922eb39b6..fe2a0dc4517e4dc2ddcc199a8d329b48f4cd8322 100644 (file)
@@ -1,13 +1,16 @@
 OCAML_ROOT = @OCAML_ROOT@
 HELM_BIN_DIR = @HELM_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,11 +178,11 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 install:
-       cp mmlinterface mmlinterface.opt $(HELM_BIN_DIR)
+       cp mmlinterface mmlinterface.opt helm_wget $(HELM_BIN_DIR)
 
 distclean:
-       rm -f Makefile configuration.ml configure config.log config.cache \
-         config.status
+       rm -f Makefile configuration.ml helm_wget configure config.log \
+         config.cache config.status
 
 .PHONY: install distclean clean