Fedora 17 Update: mlton-20100608-17.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-7137
2013-05-01 03:03:21
--------------------------------------------------------------------------------

Name        : mlton
Product     : Fedora 17
Version     : 20100608
Release     : 17.fc17
URL         : http://mlton.org/
Summary     : Optimizing compiler for Standard ML
Description :
MLton is a whole-program optimizing compiler for Standard ML.  MLton
generates standalone executables with excellent runtime performance,
is SML 97 compliant, and has a complete basis library.	MLton has
source-level profiling, a fast C FFI, an interface to the GNU
multiprecision library, and lots of useful libraries.

--------------------------------------------------------------------------------
Update Information:

- bootstrap for arm, armhfp, ppc, ppc64
- remove htmldoc requirement, it is buggy and not terribly useful
Fix issue building with newer gmp
Fix issue building with newer gmp
--------------------------------------------------------------------------------
ChangeLog:

* Sat Apr 27 2013 Adam Goode <adam at spicenitz.org> - 20100608-17
- MLton is too big for polyml, so bootstrap arm, armhfp, ppc, ppc64 with mlton
- Don't use htmldoc anymore, it often crashes
- Remove max-heap workaround
* Mon Apr 22 2013 Adam Goode <adam at spicenitz.org> - 20100608-16
- Scrap all the arch-specific bootstrapping, use polyml to do it
* Sun Apr 21 2013 Adam Goode <adam at spicenitz.org> - 20100608-15
- Try a more generalized bootstrap approach
* Sat Apr 20 2013 Adam Goode <adam at spicenitz.org> - 20100608-14
- Really fix builds by more intelligently setting max-heap
* Sat Apr 20 2013 Adam Goode <adam at spicenitz.org> - 20100608-13
- Fix ppc64 bootstrap
* Sat Apr 20 2013 Adam Goode <adam at spicenitz.org> - 20100608-12
- Bootstrap ppc64
* Fri Apr 19 2013 Adam Goode <adam at spicenitz.org> - 20100608-11
- Bootstrap ppc
* Thu Apr 18 2013 Adam Goode <adam at spicenitz.org> - 20100608-10
- Constrain max-heap to a fixed value during building, otherwise 70% of physical
  ram is used
- Fix detection of ppc64
* Mon Apr 15 2013 Adam Goode <adam at spicenitz.org> - 20100608-9
- Fix for #914188 FTBFS
- Update source link
- Remove ExclusiveArch, per packaging recommendations
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 20100608-8.2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
* Fri Jul 20 2012 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 20100608-7.2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #928076 - FTBFS: mlton fails to build on ppc
        https://bugzilla.redhat.com/show_bug.cgi?id=928076
  [ 2 ] Bug #914188 - mlton: FTBFS in rawhide
        https://bugzilla.redhat.com/show_bug.cgi?id=914188
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update mlton' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------