X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20001129_gtkmathview-0.2.1%2Fminidom%2FMakefile;h=cacfccacb02308da4bcd6df7e9b7cef73a68ca25;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=6fe73af6a3a311569826b4349e1c1ec01b529177;hpb=361db69a5309f184e543bc7b6fe83a21d82b6952;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/Makefile
index 6fe73af6a..cacfccacb 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/Makefile
@@ -1,4 +1,5 @@
-LIBDIR = /usr/lib/ocaml
+GETLIBDIR = ocamlc -v | grep "^Standard" | sed 's/^.*: *//'
+LIBDIR = `$(GETLIBDIR)`
 INSTALLDIR = $(LIBDIR)/minidom
 OBJECTS = minidom.cmi minidom.cmo ml_minidom.o ominidom.cmi ominidom.cmo
 OBJECTS_OPT = minidom.cmx ominidom.cmx
@@ -9,7 +10,7 @@ all: $(OBJECTS) test
 opt: $(OBJECTS_OPT) test.opt
 
 ml_minidom.o: ml_minidom.c
-	gcc -c -I/usr/lib/ocaml/caml/ `glib-config --cflags` `minidom-config --cflags` $<
+	gcc -c -I$(LIBDIR)/caml/ `glib-config --cflags` `minidom-config --cflags` $<
 
 minidom.cmi: minidom.mli
 	ocamlc -c $<