Commit Graph

19 Commits

Author SHA1 Message Date
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
Richard W.M. Jones
95cf7b34ad Mark stack as non-executable on ARM (32 bit) and Aarch64. 2014-05-10 09:07:15 +01:00
Richard W.M. Jones
880ea30949 Apply ppc64le patch properly. 2014-04-09 20:31:15 +01:00
Richard W.M. Jones
0db310c916 Fix --flag=arg patch (thanks: Anton Lavrik, Ignas Vyšniauskas). 2014-04-01 11:36:02 +01:00
Richard W.M. Jones
bf77c63265 Include a fix for aarch64 relocation problems
http://caml.inria.fr/mantis/view.php?id=6283
2014-03-24 11:12:36 +00:00
Richard W.M. Jones
efb2ca148b Add aarch64 (arm64) code generator. 2013-12-30 22:04:26 +00:00
Richard W.M. Jones
71bcc7c84c Fix the build on ppc64. 2013-09-14 12:14:22 +01:00
Richard W.M. Jones
2d6392e7eb Update to new major version 4.01.0.
- Rebase patches.
- Remove bogus Requires 'ncurses-devel'.  The base ocaml package already
  pulls in the library implicitly.
- Remove bogus Requires 'gdbm-devel'.  Nothing in the source mentions gdbm.
- Use mkstemp instead of mktemp in ocamlyacc.
- Add LICENSE as doc to some subpackages to keep rpmlint happy.
- Remove .ignore file from some packages.
- Remove period from end of Summary.
2013-09-13 21:45:36 +01:00
Richard W.M. Jones
ed0c3aae64 OCaml 4.00.1.
- Clean up spec file.
2012-10-16 19:26:03 +01:00
Richard W.M. Jones
24e662a3fe Upgrade to OCaml 4.00.0 official release.
- Remove one patch (add -lpthread) which went upstream.
2012-07-28 11:25:14 +01:00
Richard W.M. Jones
1837515a64 Upgrade to OCaml 4.00.0 beta 2.
- The language is now officially called OCaml (not Objective Caml, O'Caml etc)
- Rebase patches on top:
  . New ARM backend patch no longer required, since upstream.
  . Replacement config.guess, config.sub no longer required, since upstream
    versions are newer.
  . ppc64 backend known not to work; will fix shortly.
- New tool: ocamloptp (ocamlopt profiler).
- New VERSION file in ocaml-runtime package.
- New ocaml-compiler-libs subpackage.
- Rearrange ExclusiveArch alphanumerically.
- alpha, ia64 native backends have been removed upstream, so they are
  no longer supported as native compiler targets.
- Remove defattr.
2012-06-07 15:17:24 +01:00
Richard W.M. Jones
f67fde615d Includes fix for minor heap corruption because of unaligned minor heap
register (RHBZ#826649).

Unset MAKEFLAGS before running build.
2012-06-06 19:12:53 +01:00
Richard W.M. Jones
958f1c157a ppc64: Fix position of stack arguments to external C functions
when there are more than 8 parameters.
2012-06-06 12:22:35 +01:00
Richard W.M. Jones
963a64f016 - Include patch to link dllthreads.so with -lpthread explicitly, to
fix problem with 'pthread_atfork' symbol missing (statically linked)
  on ppc64.
2012-06-05 23:10:05 +01:00
Richard W.M. Jones
f3cfaea67e - Modify the ppc64 patch to reduce the delta between power64 and
upstream power backends.  Note there is no functional change.
2012-05-30 12:46:08 +02:00
Richard W.M. Jones
a07112286b Move patches to external git repo.
http://git.fedorahosted.org/git/?p=fedora-ocaml.git
2012-05-29 22:54:01 +01:00