GNU bug report logs -
#44725
ocaml-cairo2 package fails to build
Previous Next
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 44725 in the body.
You can then email your comments to 44725 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
bug-guix <at> gnu.org
:
bug#44725
; Package
guix
.
(Wed, 18 Nov 2020 18:33:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Evan Straw <evan.straw99 <at> gmail.com>
:
New bug report received and forwarded. Copy sent to
bug-guix <at> gnu.org
.
(Wed, 18 Nov 2020 18:33:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Hello Guix maintainers,
While updating Coq recently I found that the ocaml-cairo2 package it
depends on does not build. It seems to be failing with an error during
the check phase while calling `dune runtest tests`. The build log is
very long so I've attached it as a file.
I am using Guix on a foreign distro, Ubuntu 20.04 LTS, and my CPU
architecture is x86_64.
Output of `guix describe` is as follows:
--8<---------------cut here---------------start------------->8---
Generation 16 Nov 18 2020 10:26:11 (current)
guix eca38ad
repository URL: https://git.savannah.gnu.org/git/guix.git
branch: master
commit: eca38ada61356c8a6dbd677575a09a573aca95eb
personal bd255b1
repository URL: https://git.sr.ht/~estraw/guix-channel
branch: master
commit: bd255b10b22e612971bd8daf9c2ab3d3014a0b7c
--8<---------------cut here---------------end--------------->8---
If any required information is missing please let me know and I'll do my
best to provide it.
Thanks,
-- Evan Straw <evan.straw99 <at> gmail.com>
[3jf036i56jcybm5cb5an4i4kh6prpy-ocaml-cairo2-0.6.1.drv.log (text/plain, attachment)]
[signature.asc (application/pgp-signature, inline)]
Information forwarded
to
bug-guix <at> gnu.org
:
bug#44725
; Package
guix
.
(Wed, 18 Nov 2020 21:54:02 GMT)
Full text and
rfc822 format available.
Message #8 received at 44725 <at> debbugs.gnu.org (full text, mbox):
Evan Straw <evan.straw99 <at> gmail.com> writes:
> Hello Guix maintainers,
>
> While updating Coq recently I found that the ocaml-cairo2 package it
> depends on does not build. It seems to be failing with an error during
> the check phase while calling `dune runtest tests`. The build log is
> very long so I've attached it as a file.
>
> I am using Guix on a foreign distro, Ubuntu 20.04 LTS, and my CPU
> architecture is x86_64.
>
This is a test-phase issue. It looks like it might be a segmentation
fault from a C dependency (maybe Cairo itself)? I or somebody will look
a little deeper. In the meantime I am going to disable the test-phase
and mark this issue as open.
--
Brett M. Gilio
brettg <at> gnu.org
https://brettgilio.com/
GNU Project webmaster [https://gnu.org/help/]
E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87
Information forwarded
to
bug-guix <at> gnu.org
:
bug#44725
; Package
guix
.
(Thu, 19 Nov 2020 08:58:01 GMT)
Full text and
rfc822 format available.
Message #11 received at 44725 <at> debbugs.gnu.org (full text, mbox):
Hi,
On Wed, 18 Nov 2020 at 15:53, Brett Gilio <brettg <at> gnu.org> wrote:
> This is a test-phase issue. It looks like it might be a segmentation
> fault from a C dependency (maybe Cairo itself)? I or somebody will look
> a little deeper. In the meantime I am going to disable the test-phase
> and mark this issue as open.
Just to notice the Coq substitutes is available in the version-1.2.0
branch. Therefore, the regression is in between. :-)
All the best,
simon
Information forwarded
to
bug-guix <at> gnu.org
:
bug#44725
; Package
guix
.
(Thu, 19 Nov 2020 19:26:02 GMT)
Full text and
rfc822 format available.
Message #14 received at 44725 <at> debbugs.gnu.org (full text, mbox):
zimoun <zimon.toutoune <at> gmail.com> writes:
> Hi,
>
> On Wed, 18 Nov 2020 at 15:53, Brett Gilio <brettg <at> gnu.org> wrote:
>
>> This is a test-phase issue. It looks like it might be a segmentation
>> fault from a C dependency (maybe Cairo itself)? I or somebody will look
>> a little deeper. In the meantime I am going to disable the test-phase
>> and mark this issue as open.
I did some investigating, and it seems disabling the tests is the
correct action to take.
See:
[0]
https://github.com/kit-ty-kate/opam-repository/commit/4db9f97d242fbfd3b3100128797a4f941f66a32d
[1] https://github.com/ocaml/ocaml/issues/9360
--
Brett M. Gilio
brettg <at> gnu.org
https://brettgilio.com/
GNU Project webmaster [https://gnu.org/help/]
E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87
Reply sent
to
Brett Gilio <brettg <at> gnu.org>
:
You have taken responsibility.
(Thu, 19 Nov 2020 19:29:01 GMT)
Full text and
rfc822 format available.
Notification sent
to
Evan Straw <evan.straw99 <at> gmail.com>
:
bug acknowledged by developer.
(Thu, 19 Nov 2020 19:29:01 GMT)
Full text and
rfc822 format available.
Message #19 received at 44725-close <at> debbugs.gnu.org (full text, mbox):
Brett Gilio <brettg <at> gnu.org> writes:
> zimoun <zimon.toutoune <at> gmail.com> writes:
>
>> Hi,
>>
>> On Wed, 18 Nov 2020 at 15:53, Brett Gilio <brettg <at> gnu.org> wrote:
>>
>>> This is a test-phase issue. It looks like it might be a segmentation
>>> fault from a C dependency (maybe Cairo itself)? I or somebody will look
>>> a little deeper. In the meantime I am going to disable the test-phase
>>> and mark this issue as open.
>
>
> I did some investigating, and it seems disabling the tests is the
> correct action to take.
>
> See:
>
> [0]
> https://github.com/kit-ty-kate/opam-repository/commit/4db9f97d242fbfd3b3100128797a4f941f66a32d
>
> [1] https://github.com/ocaml/ocaml/issues/9360
--
Brett M. Gilio
brettg <at> gnu.org
https://brettgilio.com/
GNU Project webmaster [https://gnu.org/help/]
E82A C026 95D6 FF02 43CA 1E5C F6C5 2DD1 BA27 CB87
Information forwarded
to
bug-guix <at> gnu.org
:
bug#44725
; Package
guix
.
(Thu, 19 Nov 2020 22:17:01 GMT)
Full text and
rfc822 format available.
Message #22 received at 44725-close <at> debbugs.gnu.org (full text, mbox):
Hi Brett,
Thank you for the fix.
On Thu, 19 Nov 2020 at 13:28, Brett Gilio <brettg <at> gnu.org> wrote:
>> [0]
>> https://github.com/kit-ty-kate/opam-repository/commit/4db9f97d242fbfd3b3100128797a4f941f66a32d
>>
>> [1] https://github.com/ocaml/ocaml/issues/9360
This commit message of 34ba163718513f8962e14e325a109110a83bdf1c reads:
--8<---------------cut here---------------start------------->8---
* gnu/packages/ocaml.scm (ocaml-cairo2): Amend comment about tests.
Related to issue #44725.
--8<---------------cut here---------------end--------------->8---
Usually, the standards instead of “Related to issue #44725” is:
--8<---------------cut here---------------start------------->8---
Fixes <https://bugs.gnu.org/44725>.
Reported by Evan Straw <evan.straw99 <at> gmail.com>
--8<---------------cut here---------------end--------------->8---
The “Fixes” could be replaced by “This fixes” or “Related to” or any
other relevant message. The important part is “https://bugs.gnu.org”
which is really helpful for grepping the history: walking back to find
why something or processing some stats when releasing. (Since the bug
tracker is not really connected to the commit tree.)
All the best,
simon
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Fri, 18 Dec 2020 12:24:05 GMT)
Full text and
rfc822 format available.
This bug report was last modified 3 years and 100 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.