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

183 Commits

Author SHA1 Message Date
Richard W.M. Jones
dd7a7dca92 Disable tests on aarch64 (https://caml.inria.fr/mantis/view.php?id=7602) 2017-08-05 12:24:27 +01:00
Fedora Release Engineering
bf330de0a3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 04:12:31 +00:00
Fedora Release Engineering
ec776d5e33 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 01:25:09 +00:00
Richard W.M. Jones
725d4a96c7 Revert "New upstream version 4.05.0." 
It's been decided to allow the Fedora 27 Mass Rebuild to take place
before OCaml 4.05.0 is added to Fedora.  To avoid this package
accidentally getting included in the mass rebuild, this commit reverts
the new upstream version, and then it will be un-re-verted after the
Mass Rebuild.

This reverts commit 40c060b8ec.
 2017-07-21 11:00:11 +01:00
Richard W.M. Jones
40c060b8ec New upstream version 4.05.0. 
- Disable parallel builds for now.
- *.mli files are now included in ocaml-compiler-libs.
 2017-07-18 17:40:06 +01:00
Petr Písař
f1516cc100 perl dependency renamed to perl-interpreter <https://fedoraproject.org/wiki/Changes/perl_Package_to_Install_Core_Modules> 2017-07-12 14:33:58 +02:00
Richard W.M. Jones
310b7aa2bb New upstream version 4.04.2. 
Fix: ocaml: Insufficient sanitisation allows privilege escalation for
  setuid binaries (CVE-2017-9772) (RHBZ#1464920).
 2017-06-26 10:53:06 +01:00
Richard W.M. Jones
62c9a887d9 New upstream version 4.04.1. 2017-05-10 12:50:40 +01:00
Richard W.M. Jones
fcd7508fcd Moved fedora-ocaml git repo from fedorahosted to pagure.io. 
This is just a comment update, no need to rebuild.
 2017-05-10 12:43:23 +01:00
Fedora Release Engineering
1d4f5463b4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 00:27:59 +00:00
Igor Gnatenko
0d95d2cc27 Rebuild for readline 7.x 
Signed-off-by: Igor Gnatenko <ignatenko@redhat.com>
 2017-01-12 17:30:35 +01:00
Richard W.M. Jones
22d2d1d45d riscv: Further fixes for https://github.com/nojb/riscv-ocaml/issues/2 2016-11-23 13:23:03 +00:00
Richard W.M. Jones
0e2c6567fd riscv: Further fix for https://github.com/nojb/riscv-ocaml/issues/2 2016-11-23 10:47:58 +00:00
Richard W.M. Jones
1b4063eb57 Update RISC-V support to fix 
https://github.com/nojb/riscv-ocaml/issues/2
 2016-11-22 22:21:33 +00:00
Richard W.M. Jones
a48061fc04 Temporarily disable emacs subpackage on riscv64. 2016-11-11 21:48:51 +00:00
Richard W.M. Jones
2730b0fa32 riscv64: Fix intermediate operands. 
(https://github.com/nojb/riscv-ocaml/issues/1)
 2016-11-11 12:15:04 +00:00
Richard W.M. Jones
746dc88032 Replace s390 fix with final patch. 
No need to rebuild anything.
 2016-11-11 12:14:46 +00:00
Richard W.M. Jones
02890f76ff s390x: Fix address of caml_raise_exn in native dynlink modules. 
Upstream bug report:
    https://caml.inria.fr/mantis/view.php?id=7405
 2016-11-09 16:19:54 +00:00
Richard W.M. Jones
3faf9753d1 Add support for RISC-V using out of tree support from: 
https://github.com/nojb/riscv-ocaml
 2016-11-08 18:58:49 +00:00
Richard W.M. Jones
bdab1d8d09 Tests pass on aarch64, so make that check mandatory too. 2016-11-04 22:46:58 +00:00
Richard W.M. Jones
c99809b76e New upstream version 4.04.0. 2016-11-04 22:17:02 +00: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
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