Dear OCaml users,
We have the pleasure of celebrating the birthday of Alexander Fleming
by announcing the release of OCaml version 4.08.1.
This is a bug-fix release, which fixes compilation failures in presence of
“-pack” (breaking nocrypto), and dynlinking failures (breaking Frama-C)
(see also the list of changes below).
It is (or soon will be) available as a set of OPAM switches,
and as a source download here:
https://caml.inria.fr/pub/distrib/ocaml-4.08/
Happy hacking.
OCaml 4.08.1:
Bug fixes:
-
#7887: ensure frame table is 8-aligned on ARM64 and PPC64
(Xavier Leroy, report by Mark Hayden, review by Mark Shinwell
and Gabriel Scherer) -
#8751: fix bug that could result in misaligned data section when compiling to
native-code on amd64. (observed with the mingw64 compiler)
(Nicolás Ojeda Bär, review by David Allsopp) -
#8769, #8770: Fix assertion failure with -pack
(Leo White, review by Gabriel Scherer, report by Fabian @copy) -
#8816, #8818: fix loading of packed modules with Dynlink (regression in
#2176).
(Leo White, report by Andre Maroneze, review by Gabriel Scherer) -
#8830: configure script: fix tool prefix detection and Debian’s armhf
detection
(Stéphane Glondu, review by David Allsopp) -
#8843, #8841: fix use of off_t on 32-bit systems.
(Stephen Dolan, report by Richard Jones, review by Xavier Leroy)
