Big refactoring of libxml-tree, part (1) (everything compiles)

[SXSI/xpathcomp.git] / configure

diff --git a/configure b/configure
index e53f053..a9eccc8 100755 (executable)
--- a/configure
+++ b/configure
@@ -20,7 +20,7 @@ Conf.check_prog "expat" "ocamlfind query expat";;
 
 Conf.check "bp" (Conf.absolute) ("%s/../bp/libbp.a") (Sys.file_exists);;
 Conf.check "libcds" (Conf.absolute) ("%s/../libcds/lib/libcds.a") (Sys.file_exists);;
-Conf.check "XMLTree" (Conf.absolute) ("%s/../XMLTree/libXMLTree.a") (Sys.file_exists);;
+Conf.check "libxml-tree" (Conf.absolute) ("%s/../XMLTree/libxml-tree.a") (Sys.file_exists);;
 Conf.check "TextCollection" (Conf.absolute) ("%s/../TextCollection/libTextCollection.a") (Sys.file_exists);;
 
 
@@ -42,7 +42,7 @@ let libs_L = [
 
 (* Order is relevant *)
 let libs_l = [
-     "-lXMLTree";
+     "-lxml-tree";
      "-lTextCollection";
      "-lbp";
      "-lcds"