cloog-0.18.0 build error

  • Done
  • quality assurance status badge
Details
3 participants
  • Alírio Eyng
  • Andreas Enge
  • Ludovic Courtès
Owner
unassigned
Submitted by
Alírio Eyng
Severity
normal
A
A
Alírio Eyng wrote on 14 Jun 2015 23:30
(address . bug-guix@gnu.org)
CALkz57FMbwy+VPcmNckmwCGtnO5BuE9cXMx6MDKQXyya9X6TBQ@mail.gmail.com
x86_64
7871724df7218428fac53133496c474bac8c5ea8 except for gettext downgraded
to 0.19.3 because

cloog-0.18.0 includes modified isl-0.11.1 and upstream isl-0.11.1
works (dependency for cloog)

wwhhya4z2l180bjaqjdvs0rkvlhdri-cloog-0.18.0.drv line 1944 "error:
unknown type name ‘isl_constraint’" refers to something in these
files:
cloog-0.18.0/isl/isl_constraint_private.h
cloog-0.18.0/isl/include/isl/constraint.h
but they are not in the Makefile
Attachment: wwhhya4z2l180bjaqjdvs0rkvlhdri-cloog-0.18.0.drv
Attachment: diffcloogisl
Attachment: Makefile
L
L
Ludovic Courtès wrote on 15 Jun 2015 17:47
(name . Alírio Eyng)(address . alirioeyng@gmail.com)(address . 20814@debbugs.gnu.org)
87381tnfbu.fsf@gnu.org
I cannot reproduce it (x86_64):

Toggle snippet (9 lines)
$ git describe
v0.8.2-302-g4a3bcae
$ ./pre-inst-env guix build cloog --no-substitutes

[...]

/gnu/store/k1wj5rwkipzqq2gg55s4p5baxhxzzy8h-cloog-0.18.0

Could you try to build it from the same Guix commit?

(You mentioned on IRC having non-deterministic Gettext test failures.
For now, you could work around them either by retrying upon failure, or
by enabling substitutes.)

TIA,
Ludo’.
L
L
Ludovic Courtès wrote on 1 Jul 2015 10:23
(name . Alírio Eyng)(address . alirioeyng@gmail.com)(address . 20814@debbugs.gnu.org)
87lhf0xp5m.fsf@gnu.org
It would be interesting to see if you see have troubles building cloog
now that core-updates (which included the Gettext fix you mentioned) has
been merged in master.

TIA,
Ludo’.
L
L
Ludovic Courtès wrote on 1 Jul 2015 10:23
control message for bug #20814
(address . control@debbugs.gnu.org)
87k2ukxp5d.fsf@gnu.org
tags 20814 moreinfo
A
A
Alírio Eyng wrote on 2 Jul 2015 17:30
Re: bug#20814: cloog-0.18.0 build error
(name . Ludovic Courtès)(address . ludo@gnu.org)(address . 20814@debbugs.gnu.org)
CALkz57H-4ZJ=T9BHC77AmrBorV=v7mSmWg9eG_qm1xfsRzCbWg@mail.gmail.com
gettext fix doesn't worked, same error
using substitutes now...
L
L
Ludovic Courtès wrote on 2 Jul 2015 21:05
(name . Alírio Eyng)(address . alirioeyng@gmail.com)(address . 20814@debbugs.gnu.org)
877fqiz8go.fsf@gnu.org
Alírio Eyng <alirioeyng@gmail.com> skribis:

Toggle quote (2 lines)
> gettext fix doesn't worked, same error

Could you provide more details? Namely, what doesn’t work, and how to
reproduce it.

TIA,
Ludo’.
L
L
Ludovic Courtès wrote on 11 Sep 2015 19:29
control message for bug #20814
(address . control@debbugs.gnu.org)
87egi4c1al.fsf@gnu.org
tags 20814 unreproducible
A
A
Andreas Enge wrote on 9 Feb 2018 23:00
Re: cloog-0.18.0 build error
(address . 20814-done@debbugs.gnu.org)
20180209220005.GA11858@jurong
The bug is not reproducible, the submitter has not sent any additional
information in over two years; closing this bug.

Andreas
Closed
?
Your comment

This issue is archived.

To comment on this conversation send an email to 20814@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 20814
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch