X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfigure.in;h=4dc7a6fecda401576f2336567a461b5ea0adb2e9;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=e7dc8c801f1a2904b82746d11e3e300881b05237;hpb=51a55115aa687a5ce1e9f1be1aefba47b6044eeb;p=helm.git diff --git a/helm/interface/configure.in b/helm/interface/configure.in index e7dc8c801..4dc7a6fec 100644 --- a/helm/interface/configure.in +++ b/helm/interface/configure.in @@ -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)