helm/http_getter/helm_http_getter.spec.in

   1 Summary: The HELM http getter
   2 Name: @PACKAGE@
   3 Version: @VERSION@
   4 Release: 1
   5 Copyright: GPL
   6 URL: http://www.cs.unibo.it/helm
   7 Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
   8 Requires: helm_configuration >= 0.0.2, helm_data >= 0.0.2, perl-libwww-perl, perl-URI, MIME-Base64, perl-HTML-Parser, perl-XML-Parser
   9 Group: Applications/Publishing
  10 Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@-1.tar.gz
  11 %description
  12 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
  13 at the creation of tools for the development and exploitation of a huge
  14 distributed library of formal mathematical knowledge. This package holds
  15 the getter used to map logical names into phisical names and download
  16 the required files.
  17 For more information see http://www.cs.unibo.it/helm
  18
  19 %prep
  20 %setup
  21
  22 %build
  23 cp config.cache.pkg config.cache
  24 ./configure
  25 make
  26
  27 %install
  28 make install
  29
  30 %files
  31 %doc AUTHORS COPYING ChangeLog NEWS README
  32 %attr(755,root,root) /usr/local/bin/http_getter.pl