X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fhttp_getter%2Fconfigure.in;h=c1c14a8b4e6d98cb9f0ee06297d1e048701e003e;hb=46a7e4ab3642ec3135444026fb3410b4cd4c435a;hp=c17ad5cc8b317728ba35c47ed521fa200a8357ec;hpb=c9e626cba3af69354dac69bfaefeb346a191fc5a;p=helm.git

diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in
index c17ad5cc8..c1c14a8b4 100644
--- a/helm/http_getter/configure.in
+++ b/helm/http_getter/configure.in
@@ -1,4 +1,4 @@
-AC_INIT(dtd/cic.dtd)
+AC_INIT(http_getter.pl.in)
 
 if test "x$prefix" != xNONE; then
   RESOLVED_PREFIX=$prefix
@@ -6,29 +6,41 @@ else
   RESOLVED_PREFIX=$ac_default_prefix
 fi
 
+if test "x$exec_prefix" != xNONE; then
+  RESOLVED_EXEC_PREFIX=$exec_prefix
+else
+  RESOLVED_EXEC_PREFIX=$RESOLVED_PREFIX
+fi
+
 dnl General
-AC_MSG_CHECKING("for the share/helm/dtd dir")
+AC_MSG_CHECKING("for configuration.pl")
 RES=""
-AC_CACHE_VAL(helm_cv_HELM_DTDS_DIR,
-  echo "Where should I put the DTDs? Note: your answer must be the entry of value dtd_dir in the configuration.xml file of the helm_configuration package that you should have already installed."
-  read helm_cv_HELM_DTDS_DIR
+AC_CACHE_VAL(helm_cv_DEFAULT_HELM_LIBRARY_DIR,
+  echo "Where is configuration.pl (part of the helm_configuration package)?"
+  read helm_cv_DEFAULT_HELM_LIBRARY_DIR
   RES="Asked"
 )
-HELM_DTDS_DIR=$helm_cv_HELM_DTDS_DIR
+DEFAULT_HELM_LIBRARY_DIR=$helm_cv_DEFAULT_HELM_LIBRARY_DIR
 if test "$RES" != "Asked" ; then
-   HELM_DTDS_DIR=`eval "echo $HELM_DTDS_DIR"`
-   AC_MSG_RESULT($HELM_DTDS_DIR)
+   DEFAULT_HELM_LIBRARY_DIR=`eval "echo $DEFAULT_HELM_LIBRARY_DIR"`
+   AC_MSG_RESULT($DEFAULT_HELM_LIBRARY_DIR)
 fi
 AC_CACHE_SAVE
 
-AC_MSG_CHECKING("for the share/helm/style dir")
-HELM_STYLES_DIR=$RESOLVED_PREFIX/share/helm/style
-AC_MSG_RESULT($HELM_STYLES_DIR)
+AC_PATH_PROG(PERL_BINARY,perl,no)
+if test $PERL_BINARY = no ; then
+   AC_MSG_ERROR(Could not find perl)
+fi
 
-AC_SUBST(HELM_DTDS_DIR)
-AC_SUBST(HELM_STYLES_DIR)
+AC_MSG_CHECKING("for the bin dir")
+HELM_BIN_DIR=$RESOLVED_EXEC_PREFIX/bin
+AC_MSG_RESULT($HELM_BIN_DIR)
 
+AC_SUBST(HELM_BIN_DIR)
 AC_SUBST(DEFAULT_HELM_LIBRARY_DIR)
 AC_SUBST(PERL_BINARY)
 
-AC_OUTPUT([Makefile])
+AC_OUTPUT([
+ Makefile
+ http_getter.pl
+],chmod +x http_getter.pl)