X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=configure;h=a9eccc8714cb89bdb2682b52bacd781064409fb5;hb=9d19c60e10c9572885509b35c2b72f362968d6ab;hp=e53f05322342d7065633f475c3f78ea4cad4c18c;hpb=3c2dcd45ebe8d5c3134c8202efe329f76ffc0b8c;p=SXSI%2Fxpathcomp.git

diff --git a/configure b/configure
index e53f053..a9eccc8 100755
--- 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"