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: 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
?