helm/http_getter/helm_http_getter-0.0.1-1.spec

   1 Summary: The HELM http getter
   2 Name: helm_http_getter
   3 Version: 0.0.1
   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.1, helm_data = 0.0.1, perl-libwww-perl,
   9  perl-URI, MIME-BASE64, perl-HTML-Parser, perl-XML-Parser
  10 Group: Applications/Publishing
  11 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_http_getter-0.0.1-1.tar.gz
  12 %description
  13 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
  14 at the creation of tools for the development and exploitation of a huge
  15 distributed library of formal mathematical knowledge. This package holds
  16 the getter used to map logical names into phisical names and download
  17 the required files.
  18 For more information see http://www.cs.unibo.it/helm
  19
  20 %prep
  21 %setup
  22
  23 %build
  24 cp config.cache.pkg config.cache
  25 ./configure
  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