]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile
Few modifications required each time to make interface compile on a new
[helm.git] / helm / interface / Makefile
index d2fddf453bf4c6751910f1d402dc31f1217794a0..cb833fcc74cca8789e3ea5e7e057c34f16663d7f 100644 (file)
@@ -1,8 +1,9 @@
-LABLGTK_DIR = /usr/lib/ocaml/lablgtk
-LABLGTK_MATHVIEW_DIR = /usr/lib/ocaml/lablgtk/mathview
-MINIDOM_DIR = /usr/lib/ocaml/minidom
-PXP_DIR = /usr/lib/ocaml/site-lib/pxp
-NETSTRING_DIR = /usr/lib/ocaml/site-lib/netstring
+OCAML_ROOT = /usr/lib/ocaml
+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
 OCAMLDEP = ocamldep