Fedora 17 Update: ocaml-3.12.1-12.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-9047
2012-06-07 22:09:58
--------------------------------------------------------------------------------

Name        : ocaml
Product     : Fedora 17
Version     : 3.12.1
Release     : 12.fc17
URL         : http://www.ocaml.org
Summary     : Objective Caml compiler and programming environment
Description :
Objective Caml is a high-level, strongly-typed, functional and
object-oriented programming language from the ML family of languages.

This package comprises two batch compilers (a fast bytecode compiler
and an optimizing native-code compiler), an interactive toplevel system,
parsing tools (Lex,Yacc,Camlp4), a replay debugger, a documentation generator,
and a comprehensive library.

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

Fix for ppc64.
--------------------------------------------------------------------------------
ChangeLog:

* Wed Jun  6 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-12
- ppc64: Include fix for minor heap corruption because of unaligned
  minor heap register (RHBZ#826649).
- Unset MAKEFLAGS before running build.
* Wed Jun  6 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-11
- ppc64: Fix position of stack arguments to external C functions
  when there are more than 8 parameters.
* Tue Jun  5 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-10
- Include patch to link dllthreads.so with -lpthread explicitly, to
  fix problem with 'pthread_atfork' symbol missing (statically linked)
  on ppc64.
* Sun Jun  3 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-9
- Include svn rev 12548 to fix invalid generation of Thumb-2 branch
  instruction TBH (upstream PR#5623, RHBZ#821153).
* Tue May 29 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-8
- Modify the ppc64 patch to reduce the delta between power64 and
  upstream power backends.
- Clean up the spec file and bring it up to modern standards.
  * Remove patch fuzz directive.
  * Remove buildroot directive.
  * Rearrange source unpacking.
  * Remove chmod of GNU config.* files, since git does it.
  * Don't need to remove buildroot in install section.
  * Remove clean section.
  * git am </dev/null to avoid hang (thanks Adam Jackson).
- Note there is no functional change in the above.
* Tue May 29 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-6
- Move patches to external git repo:
  http://git.fedorahosted.org/git/?p=fedora-ocaml.git
  There should be no change introduced here.
* Tue May 15 2012 Karsten Hopp <karsten at redhat.com> 3.12.1-4
- ppc64 got broken by the new ARM backend, add a minor patch
* Sat Apr 28 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-3
- New ARM backend by Benedikt Meurer, backported to OCaml 3.12.1.
  This has several advantages, including enabling natdynlink on ARM.
- Provide updated config.guess and config.sub (from OCaml upstream tree).
* Thu Jan 12 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-2
- add back ocaml-ppc64.patch for ppc secondary arch, drop .cmxs files
  from file list on ppc (cherry picked from F16 - this should have
  gone into Rawhide originally then been cherry picked back to F16)
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #826649 - ocaml ppc64: large entry function causes minor heap corruption
        https://bugzilla.redhat.com/show_bug.cgi?id=826649
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml' 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
--------------------------------------------------------------------------------