Created attachment 245848 [details] patch v1 Update mlkit port to version 4.7.5
Is there a changelog for this update?
mlkit changes are documented here https://github.com/melsman/mlkit/blob/master/NEWS.md - ReML released as part of the distribution - Improved documentation of basis library - Addition of IEEE_REAL signature and IEEEReal structure. Improved Real support. - Initial support for explicit region and effect annotations, including constraints on function invocations. The modified source language, which we call ReML (a Standard ML program is also a ReML program) is enabled with the -er flag - Generate position-independent machine code
Thanks. Please make sure to link the changelog when submitting an update to a port. You can use the URL field for that.
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=42cf474b145530a5981291e8252eff1c18510717 commit 42cf474b145530a5981291e8252eff1c18510717 Author: Serpent7776 <serpent7776@gmail.com> AuthorDate: 2023-10-24 16:59:57 +0000 Commit: Robert Clausecker <fuz@FreeBSD.org> CommitDate: 2023-10-27 06:32:58 +0000 lang/mlkit: update to 4.7.5 Changelog: https://github.com/melsman/mlkit/blob/master/NEWS.md - ReML released as part of the distribution - Improved documentation of basis library - Addition of IEEE_REAL signature and IEEEReal structure. Improved Real support. - Initial support for explicit region and effect annotations, including constraints on function invocations. The modified source language, which we call ReML (a Standard ML program is also a ReML program) is enabled with the -er flag - Generate position-independent machine code PR: 274695 lang/mlkit/Makefile | 2 +- lang/mlkit/distinfo | 6 +- lang/mlkit/files/patch-Makefile.in (gone) | 23 ----- lang/mlkit/files/patch-src_Runtime_Spawn.c (gone) | 24 ----- .../files/patch-src_Runtime_gen__syserror.c (gone) | 27 ------ lang/mlkit/files/patch-test_posix.sml (gone) | 10 -- lang/mlkit/pkg-plist | 108 +++++++++++++++++---- 7 files changed, 93 insertions(+), 107 deletions(-)
Thank you for your contribution.
Thank you for handling this.