8 Commits

Author	SHA1	Message	Date
Richard W.M. Jones	5d60b03be0	Use -fno-strict-aliasing when building the compiler (RHBZ#990540). ... ppc, ppc64, ppc64le: Mark stack as non-executable.	2014-09-11 14:53:59 +01:00
Richard W.M. Jones	91c6a95e71	New upstream OCaml 4.02.0 final. ... - Add patch for ocaml-camlimages (see http://caml.inria.fr/mantis/view.php?id=6517)	2014-08-30 13:37:34 +01:00
Richard W.M. Jones	1dbbca1c02	Rebase on top of OCaml 4.02+rc1 (same as git commit c48fc015).	2014-08-22 20:01:51 +01:00
Richard W.M. Jones	88f9772d9f	Add fix for Coq build issue: ... http://caml.inria.fr/mantis/view.php?id=6507	2014-08-08 17:48:06 +01:00
Richard W.M. Jones	f482b154ca	Rebase on top of 4.02.0 beta commit 10e45753. ... This changes the definition of String and Bytes, thus necessitating another complete rebuild :-(	2014-08-01 16:20:20 +01:00
Richard W.M. Jones	5815ad5d25	Rebase on top of 4.02.0 beta commit c4f3a6c7. ... - Remove the patch to disable CSE, since that problem is fixed upstream. - Remove the patch fixing caml_callback2 on aarch64 since that patch is now upstream.	2014-07-19 11:34:01 +01:00
Richard W.M. Jones	fd2e30ff27	Fix broken caml_callback2 on aarch64 ... http://caml.inria.fr/mantis/view.php?id=6489	2014-07-15 22:39:29 +01:00
Richard W.M. Jones	7335bbf1f3	Update to 4.02.0-beta1 + patches from the upstream 4.02 branch. ... - REMOVED labltk and camlp4 packages, since these are now packaged separately upstream. - Upstream includes fix for stack alignment issues on i686, so remove hack. - Upstream now uses mkstemp where available, so patch removed. - Upstream includes Aarch64 backend, so remove our own backport. - Drop BR on ocaml-srpm-macros, since it is now included in Fedora.	2014-07-12 18:49:45 +01:00