[arch-dev-public] [arch-dev] State of OCaml-Update (stuck by deprecation of camlp4)

Gaetan Bisson bisson at archlinux.org
Tue Aug 6 18:57:46 UTC 2019


[2019-08-06 19:21:11 +0200] Jürgen Hötzel:
> Unfortunately it is not possible to compile camlp4 with OCaml >= 4.08.
> 
> But some well known packages depend on this preprocessor. E.g. :Haxe,
> lablgtk2 (therefore also: Unison and Coq).
> 
> 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?

I'm a heavy unison user so I definitely prefer option one to option two
though if that's too heavy a maintenance burden I'd perfectly understand
dropping the relevant packages to the AUR. That's while we're waiting
for Debian/upstream porting those projects to camlp5, of course. :)

Cheers.

-- 
Gaetan


More information about the arch-dev-public mailing list