Commit Graph

219 Commits

Author SHA1 Message Date
Fedora Release Engineering 32ff87d95d - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 11:03:41 +00: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 78b8ce38c4 Enable the test suite during the build. Currently the results are only advisory. 2015-06-26 20:30:53 +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 c5c148df70 Fix date in changelog 2015-06-16 14:04:20 +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 ca82dc7a94 Fix git patch. 2015-06-09 12:39:44 +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 9ca8e1ea34 Kill dependency on rpm-build. Added in 2009, apparently by accident.
(Thanks: Jon Ludlam)
2015-02-26 16:12:15 +00: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 eaa1438730 Fix date in changelog 2014-10-20 08:46:50 +01:00
Richard W.M. Jones 1ea91487d2 ocaml-emacs should require emacs(bin) (RHBZ#1154513). 2014-10-20 08:45:53 +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 e4cc04ad4a Fix bug in argument parsing (RHBZ#1139790). 2014-09-09 17:41:34 +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
Peter Robinson e5ae10d862 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-17 12:40:35 +00: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 7439bfe61f Make the compiler depend on ocaml-runtime explicitly. 2014-07-19 13:45:39 +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 e08cafe6a8 Update previous commit to deal with conditional patches. 2014-07-15 14:53:44 +01:00
Richard W.M. Jones c852c24e5a Disable CSE on 32 bit ARM too. 2014-07-15 14:35:20 +01:00
Richard W.M. Jones e575a86d45 Disable CSE optimization which is broken on aarch64. 2014-07-15 13:07:54 +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 98f566b78e BR binutils-devel so ocamlobjinfo supports *.cmxs files (RHBZ#1113735). 2014-06-26 20:31:10 +01:00
Richard W.M. Jones 44cd19b48d Fix git.fedorahosted.org URL in comment. 2014-06-24 10:50:44 +01:00
Dennis Gilmore c6f3eac171 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 10:28:24 -05:00
Jaroslav Škarvada 5e25399273 - Rebuilt for https://fedoraproject.org/wiki/Changes/f21tcl86 2014-05-21 12:28:00 +02: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 37ad9becd7 Remove ocaml-srpm-macros subpackage.
This is now a separate package, see RHBZ#1087893.
2014-04-22 11:10:21 +01:00
Richard W.M. Jones a80eeaf35a Fix s390x builds (no native compiler). 2014-04-15 14:47:30 +01:00
Richard W.M. Jones ead83e2240 Remove ExclusiveArch.
Add ocaml-srpm-macros subpackage containing arch macros.

- See: RHBZ#1087794
2014-04-15 11:49:45 +01:00
Richard W.M. Jones 31bf86cfb0 Fix aarch64 relocation problems again.
Earlier patch was dropped accidentally.
2014-04-14 21:26:33 +01:00
Richard W.M. Jones 880ea30949 Apply ppc64le patch properly. 2014-04-09 20:31:15 +01:00
Richard W.M. Jones a0eedc071f Add ppc64le support (thanks: Michel Normand) (RHBZ#1077767). 2014-04-09 17:39:37 +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 073715bf7d Really fix aarch64 build. 2014-03-24 12:43:34 +00: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 0666b78faf Don't use ifarch around Patch lines, as it means the patch files
don't get included in the spec file.
2014-01-08 13:30:27 +00:00
Richard W.M. Jones 179ac32d01 Work around gcc stack alignment issues, see
http://caml.inria.fr/mantis/view.php?id=5700
2014-01-06 19:27:11 +00:00