rpms
/
ocaml
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
218 Commits 33 Branches 100 Tags 1.2 MiB
Commit Graph

33 Commits

Author SHA1 Message Date
Richard W.M. Jones 77bcef6197 OCaml 4.08.1+rc2. 
Include fix for miscompilation of off_t on 32 bit architectures.
 2019-07-30 08:54:03 +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 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 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 518f1af016 Fix PPC64 backend. 2012-06-07 16:57:55 +01:00