X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=configure;h=fafe839f316546d0df6a0e420349af7ad7394631;hb=e4a9d72f66f5fc248afe32ec0340e34c2448623f;hp=6d86ab3396c122409f969bfdd5573d2906c1f190;hpb=ddd48898c9d77270a46fa16b66bb8b291e0859d0;p=SXSI%2Fxpathcomp.git diff --git a/configure b/configure index 6d86ab3..fafe839 100755 --- a/configure +++ b/configure @@ -14,7 +14,7 @@ Conf.check_prog "ocamlbuild" "ocamlbuild -version";; Conf.check_prog "ocamlfind" "ocamlfind printconf";; Conf.check_prog "pkg-config" "pkg-config --version";; -(*Conf.check_prog "libxml++-2.6" "pkg-config --exists libxml++-2.6" ;;*) +Conf.check_prog "camlp4" "ocamlfind query camlp4";; Conf.check_prog "ulex" "ocamlfind query ulex";; Conf.check_prog "expat" "ocamlfind query expat";;