]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/Makefile
- added method to check for an attribute in a given namespace
[helm.git] / helm / DEVEL / lablgtkmathview / test / Makefile
index d631d239fd752b41cd3293fc3daebe9dfb238af6..514d246400b7f9f203b7556a3956c3a6f349b32c 100644 (file)
@@ -1,6 +1,6 @@
 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
 LABLGTK_MATHVIEW_DIR = ..
-MINIDOM_DIR = ../minidom
+MINIDOM_DIR = /usr/lib/ocaml/mlminidom
 OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
  -I $(MINIDOM_DIR) -I mlmathview
 OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \