Opened 10 months ago

Last modified 5 months ago

#59429 assigned update

ocaml: Update to 4.09.0 and fix livecheck

Reported by: ryandesign (Ryan Schmidt) Owned by: pmetzger (Perry E. Metzger)
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: ocaml

Description

According to the web site

The latest version of OCaml is 4.09.0.

But port livecheck ocaml doesn't identify that:

$ port livecheck ocaml
Error: livecheck failed for ocaml: extracted version '4.06.0' is older than livecheck.version '4.08.1'

Change History (8)

comment:1 Changed 10 months ago by pmetzger (Perry E. Metzger)

The livecheck should be fixed.

I'm reluctant to update too quickly right now. There's a ton of packages that just don't work under 4.09 and the important ones aren't all fixed yet. I've been (deliberately) slow-walking the updates. (Serious OCaml devs will be using opam to build their own compiler.)

comment:2 Changed 10 months ago by pmetzger (Perry E. Metzger)

Okay, as of now, the livecheck is fixed. We can keep this open (possibly with an edited ticket name?) until I update to 4.09, but I suspect that I'm not going to do the 4.09 update for quite a while.

comment:3 Changed 10 months ago by ryandesign (Ryan Schmidt)

Okay. I didn't think about updates to ocaml breaking other ports, but now that you mention it I do recall that in the past.

What motivated my filing this ticket was a lablgtk2 build failure report. Both lablgtk2 and ocaml are outdated, so I figured a good first step would be to try updating one or both of the ports to the latest version.

comment:4 Changed 10 months ago by pmetzger (Perry E. Metzger)

We should be able to update lablgtk2 to the latest without updating ocaml to 4.09 yet; the opam file indicates it will work with any ocaml after 4.05.

BTW, among other big breaking changes: camlp4 no longer will work with 4.09; 4.08 is the last version that supports it. So we need to update anything in tree that requires camlp4 before we update to 4.09. It would probably also be for the best to update coq (which I've been neglecting for a while) because the latest version no longer needs camlp5 etc.; my suspicion is that we can no longer rely on the camlp5 maintainers to keep that going either.

I'm happy to work with you to do the necessary steps, or you can just needle me until I've gotten them done.

comment:5 Changed 10 months ago by ryandesign (Ryan Schmidt)

I don't know anything about (o)caml and won't be working on this. I just noticed outdated ports and filed tickets to update them.

comment:6 Changed 10 months ago by pmetzger (Perry E. Metzger)

Fair enough.

comment:7 Changed 5 months ago by jason-johnson (Jason)

For me livecheck is working but the version is still behind. OCaml 4.10 has been released but the ports version is still on 4.08.1. I would do a pull request myself but it's not clear to me how to test it. Is there some docker image or something where we can check out the forked repo and make changes?

EDIT: Never mind, I wasn't able to see the comments before.

Last edited 5 months ago by jason-johnson (Jason) (previous) (diff)

comment:8 Changed 5 months ago by pmetzger (Perry E. Metzger)

Yah, I know, MacPorts is pretty far behind on this. It's just so messy dealing with all the associated upgrades. If you can use MacPorts to install opam and then use opam to install your real OCaml packages that's probably for the best for now. If you want to help me figure out everything that will break if we go to 4.10 (among other things, it's no longer possible to request writable strings with a compiler flag and that breaks even more packages) I'm happy to do so. I will probably get to this myself in a couple of months.

Note: See TracTickets for help on using tickets.