[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ocaml (was: Merging core-updates?)
From: |
Julien Lepiller |
Subject: |
Re: Ocaml (was: Merging core-updates?) |
Date: |
Sun, 19 Feb 2023 10:15:05 +0100 |
ocaml-4.14 and ocaml-5 don't have this issue. I just pushed a fix for
ocaml-4.09. I'll also have to fix ocaml-4.07 since it fails to build as
early as camlboot. It'll take a while to test. Thanks for pointing me
to that patch!
Le Sat, 18 Feb 2023 12:38:55 +0100,
Andreas Enge <andreas@enge.fr> a écrit :
> Am Sat, Feb 18, 2023 at 12:03:31PM +0100 schrieb Andreas Enge:
> > this looks exactly like the line that posed problems for openjdk.
> > Maybe there is a patch? Could someone familiar with ocaml have a
> > look?
>
> It looks like this:
> https://github.com/ocaml/ocaml/pull/10266
>
> Andreas
>
- Re: Openjdk (was: Merging core-updates?), (continued)
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/18
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Kaelyn, 2023/02/17
- Re: Openjdk (was: Merging core-updates?), Andreas Enge, 2023/02/18
- Re: Merging core-updates?, Maxime Devos, 2023/02/16
- Re: Merging core-updates?, Andreas Enge, 2023/02/16
Ocaml (was: Merging core-updates?), Andreas Enge, 2023/02/18
Python (was: Merging core-updates?), Andreas Enge, 2023/02/19
Re: Python (was: Merging core-updates?), Andreas Enge, 2023/02/19
Re: Python, Andreas Enge, 2023/02/19