Commit Graph

14 Commits

Author SHA1 Message Date
Richard W.M. Jones 709f14be77 OCaml 4.11.1 release (RHBZ#1870368#c26). 2020-09-01 17:30:45 +01:00
Richard W.M. Jones 1018e3aa3a OCaml 4.11.0 release (RHBZ#1870368). 2020-08-21 09:09:13 +01:00
Richard W.M. Jones cf41d3d77d Enable LTO again.
NOTE: I did not build this in Rawhide, because building it appears to
change some of the ocamlx() dependencies, which would require
everything in Rawhide to be rebuilt.  I will build all OCaml packages
in Rawhide once OCaml 4.11.0 has been released which should be in a
week or two.
2020-08-04 14:25:18 +01:00
Richard W.M. Jones a2dcfff43b Move to OCaml 4.11.0+dev2-2020-04-22.
- Backport upstream RISC-V backend from 4.12 + fixes.
- Enable tests on riscv64.
- Disable ocaml-instr-* tools on riscv64.
2020-05-04 17:07:52 +01:00
Richard W.M. Jones 7eb82f0e55 Add fixes for various issues found in the previous build. 2020-04-21 15:12:14 +01:00
Richard W.M. Jones 9ed29bd6b2 Move to OCaml 4.11.0 pre-release with support for RISC-V. 2020-04-17 14:51:57 +01:00
Richard W.M. Jones db6ffb193e Fix RISC-V backend. 2020-04-11 18:59:33 +01:00
Richard W.M. Jones dc143d5bb6 OCaml 4.10.0 final. 2020-02-25 21:25:57 +00:00
Richard W.M. Jones f986cb165c OCaml 4.10.0+beta1. 2020-01-18 11:43:26 +00:00
Richard W.M. Jones 643d094358 OCaml 4.09.0 final. 2019-12-05 12:56:42 +00:00
Richard W.M. Jones fe05d6a138 OCaml 4.08.1 final. 2019-08-16 08:58:35 +01:00
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 0cadb87d84 OCaml 4.08.0 (RHBZ#1673688). 2019-06-27 14:50:15 +01:00
Richard W.M. Jones 1da04a1857 OCaml 4.08.0 beta 3 (RHBZ#1673688).
- emacs subpackage has been dropped (from upstream):
  https://github.com/ocaml/ocaml/pull/2078#issuecomment-443322613
  https://github.com/Chris00/caml-mode
- Remove ocamlbyteinfo and ocamlpluginfo, neither can be compiled.
- Disable tests on all architectures, temporarily hopefully.
- Package threads/*.mli files.
2019-04-26 16:46:59 +01:00