]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/configure.in
Added support for CGI handling, still remain some problems for headers,
[helm.git] / helm / http_getter / configure.in
index 7d0c8278185aaeb336bf6bdf30159719e39db766..13ba5aee742bcfa345d08d761eae1d6f40f8b371 100644 (file)
@@ -27,6 +27,8 @@ else
   RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
 fi
 
+HELM_CGI_DIR=$RESOLVED_PREFIX/bin
+
 if test $USE_DEFAULTS = auto; then
        AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
        if test $HAVE_HELM_CONFIG = yes; then
@@ -88,6 +90,7 @@ AC_SUBST(RESOLVED_PREFIX)
 AC_SUBST(RESOLVED_EXEC_PREFIX)
 AC_SUBST(HELM_LIB_DIR)
 AC_SUBST(PERL_BINARY)
+AC_SUBST(HELM_CGI_DIR)
 
 AC_OUTPUT([
   Makefile