[polyml] New upstream release. All patches have been upstreamed; drop them.

[Jerry James]

commit a6de6ec4e6d9745d71e63f65068096f233f26ec9
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Fri May 9 10:22:17 2014 -0600

    New upstream release.
    All patches have been upstreamed; drop them.

 .gitignore               |    2 +-
 polyml-5.5.1-fixes.patch |  171 ----------------------------------------------
 polyml-5.5.1-time.patch  |   36 ----------
 polyml.spec              |   15 ++--
 sources                  |    2 +-
 5 files changed, 9 insertions(+), 217 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 2d8bd76..bb65c2e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
 /polyml-docs.tar.xz
-/polyml.5.5.1.tar.gz
+/polyml.5.5.2.tar.gz
diff --git a/polyml.spec b/polyml.spec
index 80577b5..744a00b 100644
--- a/polyml.spec
+++ b/polyml.spec
@@ -1,6 +1,6 @@
 Name:           polyml
-Version:        5.5.1
-Release:        2%{?dist}
+Version:        5.5.2
+Release:        1%{?dist}
 Summary:        Poly/ML compiler and runtime system
 
 Group:          Development/Languages
@@ -9,10 +9,6 @@ URL:            http://www.polyml.org
 Source0:        http://downloads.sourceforge.net/%{name}/%{name}.%{version}.tar.gz
 # 2013-09-17 snapshot of http://www.polyml.org/docs/.
 Source1:        polyml-docs.tar.xz
-# Increase the precision of time information
-Patch0:         %{name}-5.5.1-time.patch
-# Fixes from the upstream polyml-5.5.1-fixes subversion branch
-Patch1:         %{name}-5.5.1-fixes.patch
 
 # The standard solution to kill the libtool-induced RPATH is to edit the
 # libtool script to kill it.  However, that causes problems for us as we need
@@ -58,8 +54,6 @@ Runtime libraries for Poly/ML.
 %prep
 %setup -q -n polyml.%{version}
 %setup -q -T -D -a 1 -n polyml.%{version}
-%patch0 -p1
-%patch1 -p1
 
 %build
 # Some hand-coded assembler is included.  Because it does not contain an
@@ -92,6 +86,7 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 %{_bindir}/polyimport
 %{_libdir}/libpolymain.a
 %{_libdir}/libpolyml.so
+%{_libdir}/pkgconfig/polyml.pc
 %{_mandir}/man1/poly.1*
 %{_mandir}/man1/polyc.1*
 %{_mandir}/man1/polyimport.1*
@@ -104,6 +99,10 @@ rm -f $RPM_BUILD_ROOT%{_libdir}/*.la
 %{_libdir}/libpolyml.so.*
 
 %changelog
+* Fri May  9 2014 Jerry James <loganjerry at gmail.com> - 5.5.2-1
+- New upstream release
+- All patches have been upstreamed; drop them
+
 * Tue Nov  5 2013 Jerry James <loganjerry at gmail.com> - 5.5.1-2
 - Add -5.5.1-fixes patch to fix two optimizer bugs (trunk commits 1855 and
   1867), and to fix TexIO.inputN and StreamIO.inputN to return immediately if
diff --git a/sources b/sources
index 50bde30..46ca518 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-f9e489bd69b7f6e319c12d6ceb23f453  polyml.5.5.1.tar.gz
+a5f971994b9a20074078190c8182cd97  polyml.5.5.2.tar.gz
 84ab0e7db52501ebdef45451cd41cbbc  polyml-docs.tar.xz