...

diff --git a/helm/http_getter/Makefile.in b/helm/http_getter/Makefile.in
index dcf22fc7950b85497dbf8977644b04d3f7b19779..ef76f950b1ec6a0ed66f4110a3fb013f96b5378c 100644 (file)
--- 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 (file)
index 0000000..af3e3a1
--- /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 c17ad5cc8b317728ba35c47ed521fa200a8357ec..27dc473ab383534694468e33fe63351a36ca1625 100644 (file)
--- 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 (file)
index 0000000..2733348
--- /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