]> matita.cs.unibo.it Git - helm.git/commitdiff
added comment about missing checks
authorLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 08:28:26 +0000 (08:28 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 08:28:26 +0000 (08:28 +0000)
helm/interface/configure.in

index a0e68d7246e8be068c181eb7f25410aca2192aa3..4dc7a6fecda401576f2336567a461b5ea0adb2e9 100644 (file)
@@ -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)