|Summary:||dev-libs/ppl-1.1 version bump|
|Product:||Gentoo Linux||Reporter:||Jeremy Murphy <jeremy.william.murphy>|
|Component:||[OLD] Core system||Assignee:||Gentoo Toolchain Maintainers <toolchain>|
|Severity:||enhancement||CC:||devurandom, hasufell, pageexec, poletti.marco|
|Package list:||Runtime testing required:||---|
|Bug Depends on:||448024, 468988|
|Bug Blocks:||201321, 473334|
Description Jeremy Murphy 2012-12-10 08:49:27 UTC
Version 1.0 of ppl was released on 28th June, 2012.
Comment 1 Jimmy.Jazz 2012-12-20 21:15:13 UTC
Created attachment 332840 [details, diff] dev-libs/ppl-1.0 patch failed to compile w/ dev-libs/gmp-5.1.0 if not patched
Comment 2 Jimmy.Jazz 2012-12-20 21:17:14 UTC
Created attachment 332842 [details, diff] dev-libs/ppl-1.1_pre5 patch idem for snapshots but not same files
Comment 3 Ryan Hill (RETIRED) 2013-05-09 02:51:25 UTC
This version will have to be installed in a new SLOT. Waiting til we get 0.12 stable first though.
Comment 4 Jeremy Murphy 2013-06-15 05:32:46 UTC
Just so you know, ppl-0.12 fails to compile against the new glpk-4.50. See bug #473334.
Comment 5 Jeroen Roovers (RETIRED) 2013-07-23 01:25:13 UTC
(In reply to Ryan Hill from comment #3) > This version will have to be installed in a new SLOT. Waiting til we get > 0.12 stable first though.
Comment 6 theodor 2013-11-13 14:14:15 UTC
ppl-1.1 was released. http://bugseng.com/archive/news/ppl-11-has-been-released
Comment 7 Dennis Schridde 2014-01-30 10:54:21 UTC
(In reply to Jeroen Roovers from comment #5) > (In reply to Ryan Hill from comment #3) > > This version will have to be installed in a new SLOT. Waiting til we get > > 0.12 stable first though. 0.12.1-r1 is currently stable on most arches.
Comment 8 Julian Ospald 2014-05-23 12:38:56 UTC
are we still waiting for something?
Comment 9 Ryan Hill (RETIRED) 2014-05-23 18:03:14 UTC
Just free time. I'll get it done this weekend.
Comment 10 Ryan Hill (RETIRED) 2014-05-27 23:33:05 UTC
I have new ebuilds for ppl-0.12.1 and cloog-ppl that move the library and headers out of the way so we can go forward with new versions. I need to do some work on gcc to keep things from breaking before I add them though.
Comment 11 SpanKY 2014-11-04 04:14:17 UTC
should be all set now in the tree; thanks for the report! Commit message: Version bump http://sources.gentoo.org/dev-libs/ppl/ppl-1.1.ebuild?rev=1.1