]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/minidom/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / minidom / Makefile
index 6fe73af6a3a311569826b4349e1c1ec01b529177..cacfccacb02308da4bcd6df7e9b7cef73a68ca25 100644 (file)
@@ -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 $<