|
9929
|
1 |
Summary: Poly/ML compiler and runtime system
|
|
|
2 |
Name: polyml
|
|
|
3 |
Version: 3X
|
|
|
4 |
Release: 2
|
|
|
5 |
Group: Development/Languages
|
|
|
6 |
Copyright: Cambridge University Technical Services Limited
|
|
|
7 |
Url: http://www.polyml.org
|
|
|
8 |
Packager: Markus Wenzel <wenzelm@in.tum.de>
|
|
|
9 |
Prefix: /usr/share
|
|
|
10 |
|
|
|
11 |
%description
|
|
|
12 |
Poly/ML is a full implementation of Standard ML available as
|
|
|
13 |
open-source.
|
|
|
14 |
|
|
|
15 |
It currently supports the ML 90 version of the language and a project
|
|
|
16 |
is under way to bring this up to the ML 97 version.
|
|
|
17 |
|
|
|
18 |
%install
|
|
|
19 |
ln -sf /usr/share/polyml/bin/polyml /usr/bin/polyml
|
|
|
20 |
|
|
|
21 |
%post
|
|
|
22 |
ln -sf $RPM_INSTALL_PREFIX/polyml/bin/polyml /usr/bin/polyml
|
|
|
23 |
|
|
|
24 |
%files
|
|
|
25 |
/usr/share/polyml
|