Bump OCaml lower bound to 4.14

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Bump OCaml lower bound to 4.14 #1448

Closed sim642 closed 1 month ago

sim642 commented 1 month ago

TODO

[x] Merge https://github.com/goblint/gobview/pull/45.
[x] Check unlocked CI job https://github.com/goblint/analyzer/actions/runs/8985410592.

michael-schwarz commented 1 month ago

Should we also bump the OCaml version in the lockfile to 4.14.1?

sim642 commented 1 month ago

Should we also bump the OCaml version in the lockfile to 4.14.1?

There's also 4.14.2 and I thought about it, but I wouldn't do it in this PR because that kind of forces everyone to reinstall their switches.

I think I'll do a separate PR at some point to upgrade all of our locked dependencies, not just the compiler. Then it's less annoying if the switch has to be recompiled just once.