Name:           polyml

Version:        5.1

Release:        4%{?dist}

Summary:        Poly/ML compiler and runtime system

Group:          Development/Languages

License:        LGPLv2+

URL:            http://www.polyml.org

Source0:        http://kent.dl.sourceforge.net/sourceforge/polyml/polyml.5.1.tar.gz

Source1:        polyml-docs.tar.gz

BuildRoot:      %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)

BuildRequires:  lesstif-devel

BuildRequires:  libX11-devel

BuildRequires:  libXext-devel

BuildRequires:  libXt-devel

ExcludeArch:    ppc64

%description

Poly/ML is a full implementation of Standard ML available as

open-source.  This release supports the ML97 version of the language

and the Standard Basis Library.

%package doc

Summary:        Poly/ML documentation

Group:          Development/Languages

%description doc

Documention for Poly/ML.

%package libs

Summary:        Poly/ML runtime libraries

Group:          System Environment/Libraries

%description libs

Runtime libraries for Poly/ML.

%prep

%setup -q -n polyml.%{version}

%setup -q -T -D -a 1 -n polyml.%{version}

find docs -type f | xargs chmod 0644

find docs -type f | xargs sed -i 's|\r|\n|'

%build

%configure

make %{?_smp_mflags}

%install

rm -rf $RPM_BUILD_ROOT

make install DESTDIR=$RPM_BUILD_ROOT

find $RPM_BUILD_ROOT -name '*.la' | xargs rm -f

find $RPM_BUILD_ROOT -name 'libpolyml.a' | xargs rm -f

%clean

rm -rf $RPM_BUILD_ROOT

%post libs -p /sbin/ldconfig

%postun libs -p /sbin/ldconfig

%files

%defattr(-,root,root,-)

%doc COPYING

%{_bindir}/poly

%{_bindir}/polyimport

%{_libdir}/libpolymain.a

%{_libdir}/libpolyml.so

%{_mandir}/man1/poly.1.gz

%{_mandir}/man1/polyimport.1.gz

%files doc

%defattr(-,root,root,-)

%doc docs/*

%files libs

%defattr(-,root,root,-)

%{_libdir}/libpolyml.so.*

%changelog

* Mon Feb 18 2008 Fedora Release Engineering <rel-eng@fedoraproject.org> - 5.1-4

- Autorebuild for GCC 4.3

* Wed Jan  2 2008 Gerard Milmeister <gemi@bluewin.ch> - 5.1-3

- Exclude arch ppc64

* Wed Jan  2 2008 Gerard Milmeister <gemi@bluewin.ch> - 5.1-1

- new release 5.1

* Tue Mar 27 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.0-2

- spec file fixes

* Mon Feb 12 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.0-1

- new version 5.0