X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=configure;h=fafe839f316546d0df6a0e420349af7ad7394631;hb=a84e4fba7daf4f600958487d88f0b733fb19042e;hp=6d86ab3396c122409f969bfdd5573d2906c1f190;hpb=ff13d22656fdbdffb2d909192bd17ba135606224;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";;