isabelle: Admin/polyml/polyml.spec@22836e4c5f4e (annotated)

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

author	wenzelm
	Fri, 03 Nov 2000 21:32:41 +0100
changeset 10385	22836e4c5f4e
parent 9929	75df69217b57
permissions	-rw-r--r--