Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 467192 - dev-libs/isl-0.13 version bump
Summary: dev-libs/isl-0.13 version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal enhancement (vote)
Assignee: Gentoo Toolchain Maintainers
URL:
Whiteboard:
Keywords:
Depends on: 491726
Blocks:
  Show dependency tree
 
Reported: 2013-04-25 10:04 UTC by Agostino Sarubbo
Modified: 2014-05-22 12:52 UTC (History)
3 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
Ebuild (isl-0.12.1.ebuild,864 bytes, text/plain)
2013-12-01 16:23 UTC, Hristo Venev
Details
dev-libs/isl-0.12.1.ebuild (isl-0.12.1.ebuild,1010 bytes, text/plain)
2013-12-01 19:27 UTC, Patrick McMunn
Details
dev-libs/isl-{0.12.1,9999} (isl.tar.xz,1.32 KB, application/x-xz)
2013-12-02 07:58 UTC, Hristo Venev
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2013-04-25 10:04:25 UTC
Please bump.
Comment 1 Ryan Hill (RETIRED) gentoo-dev 2013-05-25 05:58:01 UTC
Bumping this causes three tests to fail in dev-libs/cloog-0.18.0.  I'll have to look at it closer.
Comment 3 Thomas Kahle (RETIRED) gentoo-dev 2013-08-26 19:46:01 UTC
Also the homepage in the ebuild is dead.  Please change the URL on bump.
Comment 4 Patrick McMunn 2013-11-20 03:29:36 UTC
Cloog 0.18.1 was released about a month ago. The Cloog 0.18.1 changelog says it was updated to ISL 0.12.1.
Comment 5 Hristo Venev 2013-12-01 16:23:56 UTC
Created attachment 364344 [details]
Ebuild

Multilib needed by multilib cloog, needed by multilib polly, which is an optional part of llvm, which is used by mesa, which has multilib support.

Not invoking eautoreconf but modifying configure and Makefile.in is ugly.
Comment 6 Patrick McMunn 2013-12-01 19:27:13 UTC
Created attachment 364362 [details]
dev-libs/isl-0.12.1.ebuild

Here's a proposed ebuild for the new isl version. Changes from 0.11.1: 1) Changed EAPI from 4 to 5. 2) Updated home page. 3) Updated SRC_URI. 4) Added option to build with optional dependency piplib (I've written an ebuild for piplib and can open a bug for it if support for this optional dependency is accepted).
Comment 7 Hristo Venev 2013-12-02 07:32:20 UTC
(In reply to Patrick McMunn from comment #6)
> Created attachment 364362 [details]
> dev-libs/isl-0.12.1.ebuild
> 
> Here's a proposed ebuild for the new isl version. Changes from 0.11.1: 1)
> Changed EAPI from 4 to 5. 2) Updated home page. 3) Updated SRC_URI. 4) Added
> option to build with optional dependency piplib (I've written an ebuild for
> piplib and can open a bug for it if support for this optional dependency is
> accepted).

Your ebuild:
    1. Does not have epatch_user
    2. Is not multilib
Comment 8 Hristo Venev 2013-12-02 07:58:22 UTC
Created attachment 364410 [details]
dev-libs/isl-{0.12.1,9999}

Multilib support, piplib on 0.12.1 (it's removed in git)
Comment 9 Ryan Hill (RETIRED) gentoo-dev 2013-12-03 01:23:23 UTC
I need this ebuild to work with GCC no matter what USE flags are enabled.  So no multilib/piplib for now.
Comment 10 Hristo Venev 2013-12-03 07:22:15 UTC
On amd64 gcc does not care whether there is abi_x86_32 isl.
Comment 11 Thomas Kahle (RETIRED) gentoo-dev 2014-02-23 06:44:28 UTC
0.12.2 is a small bugfix out now.  It would be great to have this bumped, I need it for a sci-math related project.
Comment 12 Ryan Hill (RETIRED) gentoo-dev 2014-05-20 07:05:59 UTC
I was going to bump this but I can't find release tarballs for isl anywhere.  I might have to package it from git myself.
Comment 13 Thomas Kahle (RETIRED) gentoo-dev 2014-05-20 07:31:41 UTC
(In reply to Ryan Hill from comment #12)
> I was going to bump this but I can't find release tarballs for isl anywhere.
> I might have to package it from git myself.

Hmm, in principle they should be here http://freecode.com/projects/isl
but the Download link (pointing to inria.fr) does not work for me at the moment.  I'll ask on the mailing list.
Comment 14 Thomas Kahle (RETIRED) gentoo-dev 2014-05-20 07:32:14 UTC
Just saw that you already did ...
Comment 15 Ryan Hill (RETIRED) gentoo-dev 2014-05-22 12:52:16 UTC
+*isl-0.13 (22 May 2014)
+*isl-0.12.2 (22 May 2014)
+
+  22 May 2014; Ryan Hill <rhill@gentoo.org> -isl-0.09.ebuild, -isl-0.10.ebuild,
+  +isl-0.12.2.ebuild, +isl-0.13.ebuild:
+  Version bump (bug #467192). Use EAPI 5 and add subslots. Add multilib
+  support. Update HOMEPAGE and SRC_URI. Add missing pkgconfig dep. Remove
+  old.

http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/isl/isl-0.12.2.ebuild?rev=1.1&view=markup
http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-libs/isl/isl-0.13.ebuild?rev=1.1&view=markup