From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 13 Dec 2000 12:02:32 +0000 (+0000)
Subject: Few modifications required each time to make interface compile on a new
X-Git-Tag: nogzip~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=907a328069369c4d3e3e02ba2ff6d70dd0406b03;p=helm.git

Few modifications required each time to make interface compile on a new
machine.
---

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index d2fddf453..cb833fcc7 100644
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -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