[arch-dev-public] [arch-dev] State of OCaml-Update (stuck by deprecation of camlp4)
Hi, 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? Same issue discussed on Debian Bug Tracker: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933722
[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
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
Hi, Baptiste Jonglez writes:
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
The (last) update, came to rescue. I just finished the OCaml update/rebuild. OCaml is a very nice language but it always gives me a hard time packaging a major release: I had to incorporate backport patches into ocaml, coq, unison and ocaml-yojson. Regards, Jürgen
participants (3)
-
Baptiste Jonglez
-
Gaetan Bisson
-
Jürgen Hötzel