[mlton] New upstream release

[Adam Goode]

commit cf8bc9b98502aad7a854e63acbac20b2848b3f39
Author: Adam Goode <adam at spicenitz.org>
Date:   Wed Sep 25 22:21:18 2013 -0400

    New upstream release

 .gitignore                          |    6 +----
 mlton-20100608-no-execstack.patch   |   12 -----------
 mlton-20100608-no-gmp-const.patch   |   15 --------------
 mlton-20100608-ppc64-platform.patch |   13 ------------
 mlton.spec                          |   37 ++++++++++++----------------------
 sources                             |    6 +----
 6 files changed, 15 insertions(+), 74 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index d8d4f54..415322e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1 @@
-/mlton-20100608.src.tgz
-/mlton-20100608.ppc.tar.xz
-/mlton-20100608.ppc64.tar.xz
-/mlton-20100608.arm.tar.xz
-/mlton-20100608.armhfp.tar.xz
+/mlton-20130715.src.tgz
diff --git a/mlton.spec b/mlton.spec
index 5604511..57c6041 100644
--- a/mlton.spec
+++ b/mlton.spec
@@ -1,12 +1,12 @@
-%ifarch %{arm} ppc ppc64
-%global mlton_bootstrap 1
-%else
+#%ifarch %{arm} ppc ppc64
+#%global mlton_bootstrap 1
+#%else
 %global mlton_bootstrap 0
-%endif
+#%endif
 
 Name:		mlton
-Version:	20100608
-Release:	18%{?dist}
+Version:	20130715
+Release:	1%{?dist}
 Summary:	Optimizing compiler for Standard ML
 
 Group:		Development/Languages
@@ -15,9 +15,6 @@ URL:		http://mlton.org/
 Source0:	http://downloads.sourceforge.net/%{name}/%{name}-%{version}.src.tgz
 
 Patch0:		mlton-20070826-no-execmem.patch
-Patch1:		mlton-20100608-no-execstack.patch
-Patch2:		mlton-20100608-no-gmp-const.patch
-Patch3:		mlton-20100608-ppc64-platform.patch
 
 BuildRequires:	gmp-devel tex(latex)
 
@@ -28,10 +25,10 @@ BuildRequires:	mlton
 Requires:	gmp-devel gcc
 
 # bootstrap sources
-Source100:	%{name}-%{version}.ppc.tar.xz
-Source101:	%{name}-%{version}.ppc64.tar.xz
-Source102:	%{name}-%{version}.arm.tar.xz
-Source103:	%{name}-%{version}.armhfp.tar.xz
+#Source100:	%{name}-%{version}.ppc.tar.xz
+#Source101:	%{name}-%{version}.ppc64.tar.xz
+#Source102:	%{name}-%{version}.arm.tar.xz
+#Source103:	%{name}-%{version}.armhfp.tar.xz
 
 
 # filter out false dependencies
@@ -59,17 +56,6 @@ multiprecision library, and lots of useful libraries.
 # no execmem (Fedora specific)
 %patch0 -p1
 
-# no execstack (already in upstream svn)
-%patch1 -p1
-
-# __gmp_const is gone from recent gmp
-# https://github.com/MLton/mlton/issues/3
-%patch2 -p1
-
-# add proper detection for ppc64
-# https://github.com/MLton/mlton/issues/5
-%patch3 -p1
-
 %if %{mlton_bootstrap}
 # unpack the architecture specific bootstrap binary
 
@@ -121,6 +107,9 @@ rm -rf $RPM_BUILD_ROOT%{_libdir}/mlton/sml/ckit-lib/regression
 
 
 %changelog
+* Thu Sep 26 2013 Adam Goode <adam at spicenitz.org> - 20130715-1
+- New upstream release: http://mlton.org/Release20130715
+
 * Sat Aug 03 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 20100608-18
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
 
diff --git a/sources b/sources
index c244d96..63de73c 100644
--- a/sources
+++ b/sources
@@ -1,5 +1 @@
-8c53b68492a8aa41de06d35dc0e9d8fa  mlton-20100608.src.tgz
-87e3ced9fc2f0a896860bd63c232af4b  mlton-20100608.ppc.tar.xz
-e86ad7f99c4215bafa514ec59b2feba8  mlton-20100608.ppc64.tar.xz
-92cec8e47a7088f623c71cfbd18a9f2a  mlton-20100608.arm.tar.xz
-11b388835ce21da2ec70ee851f0d547a  mlton-20100608.armhfp.tar.xz
+8b4bd860e83deb67e5091e7d81a71fb2  mlton-20130715.src.tgz