Admin/polyml/polyml.spec
author wenzelm
Mon, 11 Sep 2000 20:44:53 +0200
changeset 9929 75df69217b57
permissions -rw-r--r--
simple RPM spec for in-situ package;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9929
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     1
Summary:	Poly/ML compiler and runtime system
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     2
Name:		polyml
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     3
Version:	3X
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     4
Release:	2
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     5
Group:		Development/Languages
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     6
Copyright:	Cambridge University Technical Services Limited
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     7
Url:		http://www.polyml.org
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     8
Packager:	Markus Wenzel <wenzelm@in.tum.de>
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
     9
Prefix:		/usr/share
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    10
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    11
%description
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    12
Poly/ML is a full implementation of Standard ML available as
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    13
open-source.
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    14
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    15
It currently supports the ML 90 version of the language and a project
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    16
is under way to bring this up to the ML 97 version.
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    17
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    18
%install
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    19
ln -sf /usr/share/polyml/bin/polyml /usr/bin/polyml
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    20
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    21
%post
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    22
ln -sf $RPM_INSTALL_PREFIX/polyml/bin/polyml /usr/bin/polyml
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    23
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    24
%files
75df69217b57 simple RPM spec for in-situ package;
wenzelm
parents:
diff changeset
    25
/usr/share/polyml