Commit Graph

7 Commits

Author SHA1 Message Date
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