]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/configure.in
Initial revision
[helm.git] / helm / interface / configure.in
index e7dc8c801f1a2904b82746d11e3e300881b05237..4dc7a6fecda401576f2336567a461b5ea0adb2e9 100644 (file)
@@ -6,7 +6,7 @@ MINOR_VERSION=0
 MICRO_VERSION=2
 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
-DEFAULT_HELM_CONFIGURATION_DIR=/etc/helm
+DEFAULT_HELM_CONFIGURATION_DIR=/usr/local/etc/helm
 
 AC_ARG_ENABLE(
        defaults,
@@ -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)