Created attachment 250997 [details] 0001-math-ocaml-ocamlgraph-Update-to-2.1.0-port-improveme.patch The attached patch updates math/ocaml-ocamlgraph to the latest version and fixes some issues with the current port. I'd also like to take on its maintenance, as it is unmaintained. When ocamlgraph is updated, the PORTREVISION of math/alt-ergo must be updated too.
Created attachment 250998 [details] 0002-math-alt-ergo-Bump-PORTREVISON-after-ocamlgraph-upda.patch
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=8054d1d0da7600c9eaa7aee401cb44c0e1f81380 commit 8054d1d0da7600c9eaa7aee401cb44c0e1f81380 Author: Benjamin Jacobs <freebsd@dev.thsi.be> AuthorDate: 2024-08-11 05:38:11 +0000 Commit: Zsolt Udvari <uzsolt@FreeBSD.org> CommitDate: 2024-08-11 05:40:59 +0000 math/ocaml-ocamlgraph: update to 2.1.0 Use ocaml:dune. Add LICENSE and LICENSE_FILE. Update WWW. Use GITHUB. Switch to DISTVERSION. Submitter takes maintainership. Changelog: https://github.com/backtracking/ocamlgraph/blob/master/CHANGES.md PR: 279335 math/ocaml-ocamlgraph/Makefile | 54 +++--- math/ocaml-ocamlgraph/distinfo | 6 +- math/ocaml-ocamlgraph/pkg-plist | 389 ++++++++++++++++++++++++++++++++++------ 3 files changed, 362 insertions(+), 87 deletions(-)
I'll wait math/alt-ergo update so I don't bump its PORTREVISION if you agree. Committed, thanks!
(In reply to Zsolt Udvari from comment #3) Yes, perfect. I'll post a patch to update alt-ergo tomorrow or the day after. Thank you again!