Admin/polyml/polyml.spec
changeset 9929 75df69217b57
equal deleted inserted replaced
9928:b7698bd95a94 9929:75df69217b57
       
     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