X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=configure.ac;h=d59de02c4f868cf0ccca6b305e0cfd0c95237276;hb=d224f4de52d560a08f920505667f590da1e4a69f;hp=7a7f0e1be3daf77abbb31f797f6a12d6e744223e;hpb=c216b8fd806feae2b688ac5560963b98b65e29a6;p=ocaml-bitstring.git diff --git a/configure.ac b/configure.ac index 7a7f0e1..d59de02 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ # Bitstring syntax extension. -# Copyright (C) 2008 Red Hat Inc., Richard W.M. Jones +# Copyright (C) 2008-2013 Red Hat Inc., Richard W.M. Jones # # This library is free software; you can redistribute it and/or # modify it under the terms of the GNU Lesser General Public @@ -17,7 +17,9 @@ dnl Process this file with autoconf to produce a configure script. -AC_INIT(ocaml-bitstring,1.9.8) +AC_INIT(ocaml-bitstring,2.0.4) + +AC_PROG_SED dnl Check for basic C environment. AC_PROG_CC @@ -59,18 +61,16 @@ if test "x$OCAMLFIND" = "x"; then fi dnl Check for camlp4 -AC_CHECK_PROG(CAMLP4OF,camlp4of.opt,camlp4of.opt,no) +AC_CHECK_PROG(CAMLP4OF,camlp4of,camlp4of,no) if test "x$CAMLP4OF" = "xno"; then AC_MSG_ERROR([You must have camlp4 installed]) fi dnl Check for Extlib (optional) AC_CHECK_OCAML_PKG(extlib) -AC_SUBST(pkg_extlib) dnl Check for CIL (optional) AC_CHECK_OCAML_PKG(cil) -AC_SUBST(pkg_cil) dnl Check for /usr/bin/time and get full path. AC_PATH_PROG(TIME,time,no) @@ -78,6 +78,13 @@ if test "x$TIME" = "xno"; then AC_MSG_ERROR(['time' command not found]) fi +dnl Check for diff and get full path. +AC_PATH_PROG(DIFF,diff,no) +if test "x$DIFF" = "xno"; then + AC_MSG_ERROR(['diff' command not found]) +fi +AC_SUBST(DIFF) + dnl Check for gprof (optional). AC_CHECK_PROG(GPROF,gprof,gprof,no)