ocaml 5.1.0; ocaml@4 4.14.1 (new formula); ledit 2.06

[cho-m]

• Have you followed the guidelines for contributing?
• Have you ensured that your commits follow the commit style guide?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

---

[cho-m]

Still need to figure out coccinelle. Using ocaml@4 would require locally building ocaml-findlib and I don't know situation with runtime dependency (as ocaml@4 would be keg-only and not have the HOMEBREW_PREFIX prefix-logic).

Backporting OCaml 5 fixes is tedious as I have tried applying a number of patches so far and it still doesn't build. Also, HEAD may work on Linux but there are build issues on macOS due to LD_LIBRARY_PATH usage.

Probably will end up going with ocaml@4 once I figure out what is needed to get it working.

[cho-m]

Going to try deferring ott and ledit updates to future PR and re-run with ocaml@4-based build.

[alebcay]

Regarding ott update, @danielnachun posted this in a different PR:

I added ocaml-findlib as a build requirement which fixed the initial error but now it looks like we have new problem - ott now depends on ocamlgraph and that needs a new formula. I will try to submit one in the next few days, but any other contributors should feel free to do so before me!

I had some time to take a look at ocamlgraph. Looks like it depends on lablgtk2, provided by our lablgtk formula. But lablgtk is deprecated because it depends on gtk+ (GTK+ 2), which is no longer supported upstream.

I attempted to build lablgtk3 (3.x branch of lablgtk sources) but that seems to depend on OCaml package cairo2, which in turn depends on lablgtk2. (And this is all without testing that ocamlgraph can even use lablgtk3). So it would appear that we're at an impasse on this front.

[cho-m]

I had some time to take a look at ocamlgraph. Looks like it depends on lablgtk2, provided by our lablgtk formula. But lablgtk is deprecated because it depends on gtk+ (GTK+ 2), which is no longer supported upstream.

I attempted to build lablgtk3 (3.x branch of lablgtk sources) but that seems to depend on OCaml package cairo2, which in turn depends on lablgtk2. (And this is all without testing that ocamlgraph can even use lablgtk3). So it would appear that we're at an impasse on this front.

The easiest way to build newer ott is just let opam build all dependencies and statically link them (29eff10). But I dropped version updates for ott and ledit since the current build environment is causing some odd behavior.

ocamlgraph base package shouldn't need GTK. Only needed if using ocamlgraph_gtk: https://opam.ocaml.org/packages/ocamlgraph_gtk/. What it will need is stdlib-shims.

[chenrui333]

Great work @cho-m! Thanks!

[github-actions]

@chenrui333 has requested bottles to be published to this PR.