GNU bug report logs - #28287
isl and cloog too old

Previous Next

Package: guix;

Reported by: Efraim Flashner <efraim <at> flashner.co.il>

Date: Wed, 30 Aug 2017 05:20:02 UTC

Severity: normal

Done: Efraim Flashner <efraim <at> flashner.co.il>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 28287 in the body.
You can then email your comments to 28287 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#28287; Package guix. (Wed, 30 Aug 2017 05:20:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Efraim Flashner <efraim <at> flashner.co.il>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Wed, 30 Aug 2017 05:20:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: bug-guix <at> gnu.org
Subject: isl and cloog too old
Date: Wed, 30 Aug 2017 08:19:16 +0300
[Message part 1 (text/plain, inline)]
When we build gcc <at> 6.4 and even gcc <at> 5.4 our copies of isl and cloog are too old,
instead we end up using the bundled copies in gcc. We haven't updated our copies
of isl or cloog because we haven't found a version combo that will build
cloog with unbundled isl. I think we would do better to update isl and
cloog so that they can be used to build gcc, and to just use the bundled
isl in cloog when building cloog.

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#28287; Package guix. (Sat, 02 Sep 2017 21:23:02 GMT) Full text and rfc822 format available.

Message #8 received at 28287 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: 28287 <at> debbugs.gnu.org
Subject: Re: bug#28287: isl and cloog too old
Date: Sat, 02 Sep 2017 23:22:47 +0200
Efraim Flashner <efraim <at> flashner.co.il> skribis:

> When we build gcc <at> 6.4 and even gcc <at> 5.4 our copies of isl and cloog are too old,
> instead we end up using the bundled copies in gcc. We haven't updated our copies
> of isl or cloog because we haven't found a version combo that will build
> cloog with unbundled isl. I think we would do better to update isl and
> cloog so that they can be used to build gcc, and to just use the bundled
> isl in cloog when building cloog.

FWIW the GCC 7 manual says “isl Library version 0.15 or later” and does
not even mention Cloog (info "(gccinstall) Prerequisites").

The GCC 6 manual has “isl Library version 0.16, 0.15, or 0.14” and no
mention of Cloog.

Ludo’.




bug closed, send any further explanations to 28287 <at> debbugs.gnu.org and Efraim Flashner <efraim <at> flashner.co.il> Request was from Efraim Flashner <efraim <at> flashner.co.il> to control <at> debbugs.gnu.org. (Mon, 23 Oct 2017 17:56:02 GMT) Full text and rfc822 format available.

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Tue, 21 Nov 2017 12:24:06 GMT) Full text and rfc822 format available.

This bug report was last modified 6 years and 129 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.