rpms/ocaml
5
0
Fork 0
Code Issues Pull Requests Releases Activity
294 Commits 7 Branches 9 Tags 857 KiB
c10s
Commit Graph

29 Commits

Author SHA1 Message Date
Richard W.M. Jones
13ff7d0244 Add fix for ppc64le code generation issue found after 5.2.0 was released 2024-06-19 08:05:08 +01:00
Richard W.M. Jones
7f5edb92c0 New upstream version 5.2.0 (RHBZ#2269805) 2024-05-29 11:26:00 +01:00
Richard W.M. Jones
22dd7125c6 New upstream version 4.04.0+beta2. 2016-11-04 10:06:18 +00:00
Richard W.M. Jones
496d4e4eaf CVE-2015-8869 ocaml: sizes arguments are sign-extended from 
32 to 64 bits (RHBZ#1332090)
 2016-05-04 15:23:21 +01:00
Richard W.M. Jones
34fde6cc25 New upstream version: 4.02.3. 2015-07-28 11:07:36 +01:00
Richard W.M. Jones
cf3cc5b245 ppc64/ppc64le: Fix behaviour of Int64.max_int ÷ -1 (RHBZ#1236615). 2015-06-29 21:55:49 +01:00
Richard W.M. Jones
223db9b72f Couple of minor build fixes for ppc64 and ppc64le. 2015-06-29 14:02:09 +01:00
Richard W.M. Jones
bdf7af5cc7 New upstream version: 4.02.2. 
- No need for a mass rebuild, since this version is identical to RC1.
 2015-06-23 17:04:13 +01:00
Richard W.M. Jones
c5cb967506 New upstream version: 4.02.2+rc1. 
- Dropped two aarch64 patches which are now included upstream.
- Includes libasmrun_shared.so (RHBZ#1195025).
 2015-06-16 14:00:05 +01:00
Richard W.M. Jones
23620d41df aarch64: Use upstream version of patch that fixes RHBZ#1224815. 2015-06-10 11:53:05 +01:00
Richard W.M. Jones
5b5668433a aarch64: AArch64 backend generates invalid asm: conditional branch out of range (RHBZ#1224815). 2015-06-09 12:32:25 +01:00
Richard W.M. Jones
0697d20197 ppc64le: Fix calling convention of external functions with > 8 parameters (RHBZ#1225995). 2015-05-28 21:20:35 +01:00
Richard W.M. Jones
c8a94cd7b5 Fix gdb stack traces on aarch64 (upstream PR6490). Thanks: Mark Shinwell. 2015-05-06 19:30:47 +01:00
Richard W.M. Jones
4c52516d71 ppc, ppc64, ppc64le: Properly mark stack as non-executable. 
The upstream fix was not applied completely.
 2015-04-23 14:41:34 +01:00
Richard W.M. Jones
fa72b7f43e New upstream version 4.02.1. 
- Rebase patches on top.
 2015-02-16 12:39:40 +00:00
Richard W.M. Jones
c4dd5fe841 More fixes for ppc64/ppc64le (RHBZ#1156300). 2014-10-24 12:08:00 +01:00
Richard W.M. Jones
a7ead0bb4e Fixes for ppc64/ppc64le (RHBZ#1156300). 2014-10-24 10:15:31 +01:00
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
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
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