Subject: CVS commit: pkgsrc/lang/ocaml
From: David A. Holland
Date: 2024-11-30 02:10:52
Message id: 20241130011053.12BA3FC1C@cvs.NetBSD.org

Log Message:
lang/ocaml: update to 4.14.2.

pkgsrc changes:

- Correct patch-runtime_sak.c, which had been doing the wrong thing
to fix ctype abuse.

- Makefile.common is no longer used by anything else; note that
(removing it is for a future not-just-maintenance change)

Upstream changes:

Runtime system:

    #11764, #12577: Add prototypes to old-style C function definitions
and declarations. (Antonin Décimo, review by Xavier Leroy and Nick
Barnes)

    #11763, #11759, #11861, #12509, #12577: Use strict prototypes on
primitives. (Antonin Décimo, review by Xavier Leroy, David Allsopp,
Sébastien Hinderer and Nick Barnes)

    (breaking change) #10723: do not use -flat-namespace linking for
macOS. (Carlo Cabrera, review by Damien Doligez)

    #11332, #12702: make sure Bool_val(v) has type bool in C++ (Xavier
Leroy, report by ygrek, review by Gabriel Scherer)

Build system:

    #11590: Allow installing to a destination path containing spaces.
(Élie Brami, review by Sébastien Hinderer and David Allsopp)

    #12372: Pass option -no-execute-only to the linker for OpenBSD >=
7.3 so that code sections remain readable, as needed for closure
marshaling. (Xavier Leroy and Anil Madhavapeddy, review by Anil
Madhavapeddy and Sébastien Hinderer)

    #12903: Disable control flow integrity on OpenBSD >= 7.4 to avoid
illegal instruction errors on certain CPUs. (Michael Hendricks, review
by Miod Vallat)

Bug fixes:

    #12061, #12063: don't add inconsistent equalities when computing
high-level error messages for functor applications and inclusions.
(Florian Angeletti, review by Gabriel Scherer)

    #12878: fix incorrect treatment of injectivity for private
recursive types. (Jeremy Yallop, review by Gabriel Scherer and Jacques
Garrigue)

    #12971, #12974: fix an uncaught Ctype.Escape exception on some
invalid programs forming recursive types. (Gabriel Scherer, review by
Florian Angeletti, report by Neven Villani)

    #12264, #12289: Fix compact_allocate to avoid a pathological case
that causes very slow compaction. (Damien Doligez, report by Arseniy
Alekseyev, review by Sadiq Jaffer)

    #12513, #12518: Automatically enable emulated fma for Visual
Studio 2019+ to allow configuration with either
pre-Haswell/pre-Piledriver CPUs or running in VirtualBox. Restores
parity with the other Windows ports, which don't require explicit
--enable-imprecise-c99-float-ops. (David Allsopp, report by Jonah
Beckford and Kate Deplaix, review by Sébastien Hinderer)

    #11633, #11636: bugfix in caml_unregister_frametable (Frédéric
Recoules, review by Gabriel Scherer)

    #12636, #12646: More prudent reinitialization of I/O mutexes after
a fork() (Xavier Leroy, report by Zach Baylin, review by Enguerrand
Decorne)

    (breaking change) #10845 Emit frametable size on amd64 BSD
(OpenBSD, FreeBSD, NetBSD) systems (emitted for Linux in #8805)
(Hannes Mehnert, review by Nicolás Ojeda Bär)

    #12958: Fix tail-modulo-cons compilation of try-with, && and ||
expressions. (Gabriel Scherer and Nicolás Ojeda Bär, report by Sylvain
Boilard, review by Gabriel Scherer)

    #12116, #12993: explicitly build non PIE executables on x86 32bits
architectures (Florian Angeletti, review by David Allsopp)

    #13018: Don't pass duplicate libraries to the linker when
compiling ocamlc.opt and when using systhreads (new versions of lld
emit a warning). (David Allsopp, review by Nicolás Ojeda Bär)

Files:
RevisionActionfile
1.66modifypkgsrc/lang/ocaml/Makefile.common
1.147modifypkgsrc/lang/ocaml/distinfo
1.6modifypkgsrc/lang/ocaml/patches/patch-man_Makefile
1.15modifypkgsrc/lang/ocaml/patches/patch-otherlibs_systhreads_Makefile
1.2modifypkgsrc/lang/ocaml/patches/patch-runtime_sak.c