Hi, On 06-08-19, Jürgen Hötzel wrote: > Hi, > > Unfortunately it is not possible to compile camlp4 with OCaml >= 4.08.
In the meantime, camlp4 got a (last) update to build with OCaml 4.08:
https://github.com/ocaml/camlp4/issues/151#issuecomment-519074190
https://github.com/ocaml/camlp4/releases
As the ticket says, this is the final update for camlp4, so we have to be
prepared for OCaml 4.09 and beyond.
> But some well known packages depend on this preprocessor. E.g. :Haxe,
> lablgtk2 (therefore also: Unison and Coq).
Eli is right here, camlp4 is not needed for release versions of lablgtk2.
From http://lablgtk.forge.ocamlcore.org/changes2.txt :
2016.03.06 [Jacques]
* remove build dependency on camlp4 (still needed for tree version)
On a slightly related note, lablgtk3 seems to be progressing nicely, and
support has been recently added to Coq (it will be part of the upcoming
8.10 release):
http://lablgtk.forge.ocamlcore.org/
https://github.com/coq/coq/pull/9279
> I don't see that these projects will be migrated to camlp5 or ppx in the
> near future. Therefore there are only 2 options from my point of view:
>
> 1. OCaml-4.07 and Ocaml >= 4.08 in [EXTRA].
> 2. removal of Haxe, lablgtk2, Unison and Coq.
>
> I prefer 1. What do you think?
>
> Same issue discussed on Debian Bug Tracker:
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933722
So, now the situation has unblocked. Feel free to rebuild my OCaml
packages, or open a TODO list and I will rebuild them.
Baptiste
signature.asc
Description: PGP signature
