X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=configure.ac;h=c102d4281e9078273e11010ee27bc3e5b9e842c1;hb=77f34507469352a2898d77b7c7ea3c5e49499b94;hp=7a7f0e1be3daf77abbb31f797f6a12d6e744223e;hpb=c216b8fd806feae2b688ac5560963b98b65e29a6;p=ocaml-bitstring.git

diff --git a/configure.ac b/configure.ac
index 7a7f0e1..c102d42 100644
--- a/configure.ac
+++ b/configure.ac
@@ -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)