Hi,
On Tue, 13 Oct 2020 at 11:29, Julien Lepiller wrote:
>>BTW, the update of “dune“ #43745 seems fixing the issue.
>
> Yes indeed :) nice side-effect.
So closing!
Cheers,
simon
Le 13 octobre 2020 11:41:32 GMT-04:00, zimoun a
écrit :
>On Tue, 13 Oct 2020 at 17:29, Julien Lepiller
>wrote:
>
>> Yes, the differences look very similar between these two issues. I've
>posted a bug report at https://github.com/ocaml/dune/issues/3863.
>Hopefully this will result in a good
On Tue, 13 Oct 2020 at 17:29, Julien Lepiller wrote:
> Yes, the differences look very similar between these two issues. I've posted
> a bug report at https://github.com/ocaml/dune/issues/3863. Hopefully this
> will result in a good fix. As a workaround, building with one thread seems to
> be
Le 13 octobre 2020 08:17:10 GMT-04:00, zimoun a
écrit :
>Dear,
>
>On Wed, 30 Sep 2020 at 14:42, Julien Lepiller
>wrote:
>
>>> --8<---cut here---start->8---
>>> Binary files
>>>
Dear,
On Wed, 30 Sep 2020 at 14:42, Julien Lepiller wrote:
>> --8<---cut here---start->8---
>> Binary files
>> /gnu/store/1wwdmzcjhrpal92sz2zwzhyqmbc3w7ri-dune-1.11.3/lib/ocaml/site-lib/dune/configurator/configurator.cma
>> and
>>
Le Wed, 30 Sep 2020 13:56:21 +0200,
zimoun a écrit :
> Dear,
>
> Using Guix 04a459a, the classical:
>
>guix build dune
>guix build dune --no-grafts --check -K
>
> return:
>
> --8<---cut here---start->8---
> guix build: error: derivation
>
Zimoun,
Thanks for the report!
zimoun 写道：
diff -r --no-dereference
/gnu/store/1wwdmzcjhrpal92sz2zwzhyqmbc3w7ri-dune-1.11.3{,-check}
Don't use ‘diff’ for this, use something like diffoscope:
$ diffoscope --exclude-directory-metadata --html dune.html $old
$new
->
Dear,
Using Guix 04a459a, the classical:
guix build dune
guix build dune --no-grafts --check -K
return:
--8<---cut here---start->8---
guix build: error: derivation
`/gnu/store/kg7mnb1b09n5zddgvc4hs8ira3i4jzz2-dune-1.11.3.drv' may not be
