From 1b440a95339d60002dcd915dfaead012c08c30d4 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Dec 2000 14:43:28 +0000
Subject: [PATCH] ...

---
 helm/http_getter/Makefile.in                  |  2 +-
 helm/http_getter/config.cache.pkg             |  4 ++
 helm/http_getter/configure.in                 | 40 ++++++++++++-------
 .../http_getter/helm_http_getter-0.0.1-1.spec | 33 +++++++++++++++
 4 files changed, 64 insertions(+), 15 deletions(-)
 create mode 100644 helm/http_getter/config.cache.pkg
 create mode 100644 helm/http_getter/helm_http_getter-0.0.1-1.spec

diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
index dcf22fc79..ef76f950b 100644
--- a/helm/http_getter/Makefile.in
+++ b/helm/http_getter/Makefile.in
@@ -1,4 +1,4 @@
-HELM_BIN_DIR=@exec_prefix@
+HELM_BIN_DIR=@HELM_BIN_DIR@
 
 install:
 	cp http_getter.pl $(HELM_BIN_DIR)
diff --git a/helm/http_getter/config.cache.pkg b/helm/http_getter/config.cache.pkg
new file mode 100644
index 000000000..af3e3a1a2
--- /dev/null
+++ b/helm/http_getter/config.cache.pkg
@@ -0,0 +1,4 @@
+# This is the config.cache that holds the ``standard'' path for the
+# HELM library. It is supposed to be used when creating packages
+
+helm_cv_DEFAULT_HELM_LIBRARY_DIR=${helm_cv_DEFAULT_HELM_LIBRARY_DIR='$RESOLVED_PREFIX/lib/helm'}
diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in
index c17ad5cc8..27dc473ab 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
+])
diff --git a/helm/http_getter/helm_http_getter-0.0.1-1.spec b/helm/http_getter/helm_http_getter-0.0.1-1.spec
new file mode 100644
index 000000000..27333489b
--- /dev/null
+++ b/helm/http_getter/helm_http_getter-0.0.1-1.spec
@@ -0,0 +1,33 @@
+Summary: The HELM http getter
+Name: helm_http_getter
+Version: 0.0.1
+Release: 1
+Copyright: GPL
+URL: http://www.cs.unibo.it/helm
+Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+Requires: helm_configuration = 0.0.1, helm_data = 0.0.1
+Group: Applications/Publishing
+Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_http_getter-0.0.1-1.tar.gz
+%description
+HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
+at the creation of tools for the development and exploitation of a huge
+distributed library of formal mathematical knowledge. This package holds
+the getter used to map logical names into phisical names and download
+the required files.
+For more information see http://www.cs.unibo.it/helm
+
+%prep
+%setup
+
+%build
+cp config.cache.pkg config.cache
+./configure
+
+%install
+make install
+
+%files
+%doc AUTHORS COPYING ChangeLog NEWS README
+
+/usr/local/share/helm/dtd
+/usr/local/share/helm/style
-- 
2.39.2