]> matita.cs.unibo.it Git - helm.git/blob - helm/xsltd/helm_xsltd-0.0.1-1.spec
...
[helm.git] / helm / xsltd / helm_xsltd-0.0.1-1.spec
1 Summary: The UDP-based XSLTD daemon for project HELM.
2 Name: helm_xsltd
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 Group: Applications/Publishing
9 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_xsltd-0.0.1-1.tar.gz
10 %description
11 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
12 at the creation of tools for the development and exploitation of a huge
13 distributed library of formal mathematical knowledge. This package holds
14 an UDP-based XSLT daemon.
15 For more information see http://www.cs.unibo.it/helm
16
17 %prep
18 %setup
19
20 %build
21 cp config.cache.pkg config.cache
22 ./configure
23
24 %install
25 make install
26
27 %files
28 %doc AUTHORS COPYING ChangeLog NEWS README
29 /usr/local/lib/helm/xaland.class
30 %attr(755,root,root) /usr/local/bin/start-xaland