From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 12 Feb 2001 08:28:26 +0000 (+0000)
Subject: added comment about missing checks
X-Git-Tag: v0_1_2~123
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3b4df62d0cbef14154be151f18aeb68ea100d699;p=helm.git

added comment about missing checks
---

diff --git a/helm/interface/configure.in b/helm/interface/configure.in
index a0e68d724..4dc7a6fec 100644
--- a/helm/interface/configure.in
+++ b/helm/interface/configure.in
@@ -41,7 +41,7 @@ if test $PERL_BINARY = no ; then
 fi
 
 dnl MISSING CHECKS:
-dnl ocaml-findlib, ocaml-netstring, ocaml-pxp
+dnl ocaml-findlib, ocaml-netstring, ocaml-pxp, ocaml-netclient
 
 dnl Check for Ocaml
 AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no)