[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-02-11 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 David Howells dhowe...@redhat.com changed: What|Removed |Added Status|NEW |CLOSED

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 Michael Schwendt bugs.mich...@gmx.net changed: What|Removed |Added Assignee|nob...@fedoraproject.org

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 David Howells dhowe...@redhat.com changed: What|Removed |Added Flags||fedora-cvs? ---

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 David Howells dhowe...@redhat.com changed: What|Removed |Added Flags||fedora-cvs? ---

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #10 from Jon Ciesla limburg...@gmail.com --- No SCM request found. -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 Jon Ciesla limburg...@gmail.com changed: What|Removed |Added Flags|fedora-cvs? | -- You are

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 Pierre-YvesChibon pin...@pingoured.fr changed: What|Removed |Added CC|

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 David Howells dhowe...@redhat.com changed: What|Removed |Added CC||d...@danny.cz ---

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 Jon Ciesla limburg...@gmail.com changed: What|Removed |Added Flags|fedora-cvs? |fedora-cvs+ -- You

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #12 from Jon Ciesla limburg...@gmail.com --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-05 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #3 from David Howells dhowe...@redhat.com --- (In reply to Michael Schwendt from comment #2) Further, isl.pc relinks with -lgmp, which is not necessary when linking shared. True, but it also shouldn't hurt. And isl.pc doesn't

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-05 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #4 from Michael Schwendt bugs.mich...@gmx.net --- [relinking with -lgmp] True, but it also shouldn't hurt. It can lead to extra rebuilds, e.g. you would need to rebuild anything that links with -lisl, if only GMP bumped its

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-05 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #5 from David Howells dhowe...@redhat.com --- (In reply to Michael Schwendt from comment #4) [relinking with -lgmp] True, but it also shouldn't hurt. It can lead to extra rebuilds, e.g. you would need to rebuild anything

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-05 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #6 from Michael Schwendt bugs.mich...@gmx.net --- Ah, I missed that deprecated/int.h and val_gmp.h even include gmp.h, so then it's okay to -lgmp. -- You are receiving this mail because: You are on the CC list for the bug. You

[Bug 1172719] Review Request: isl - Integer point manipulation library

2015-01-05 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #7 from David Howells dhowe...@redhat.com --- In that case: Spec URL: http://people.redhat.com/dhowells/isl.spec SRPM URL: http://people.redhat.com/dhowells/isl-0.14-3.fc20.src.rpm -- You are receiving this mail because: You are

[Bug 1172719] Review Request: isl - Integer point manipulation library

2014-12-27 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 Michael Schwendt bugs.mich...@gmx.net changed: What|Removed |Added CC|

[Bug 1172719] Review Request: isl - Integer point manipulation library

2014-12-10 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1172719 --- Comment #1 from David Howells dhowe...@redhat.com --- The isl package is used by gcc and cross-gcc. Currently it's built statically into these (resulting it being built 20 times). This extracts it into its own package. There are the