Re: [ANNOUNCEMENT] Updated: isl-0.14.1

2015-09-21 Thread Achim Gratz
Achim Gratz writes: > Yaakov Selkowitz writes: >> libisl13 is missing setup.hint on both arches, so there is no way to >> install it with setup. Any idea what went wrong? > > All setup.hint files failed to upload for some reason, but this is the > only directory that didn't already have it. I'm j

Re: [ANNOUNCEMENT] Updated: isl-0.14.1

2015-09-21 Thread Achim Gratz
Yaakov Selkowitz writes: > libisl13 is missing setup.hint on both arches, so there is no way to > install it with setup. Any idea what went wrong? All setup.hint files failed to upload for some reason, but this is the only directory that didn't already have it. I'm just uploading all setup.hint

Re: [ANNOUNCEMENT] Updated: isl-0.14.1

2015-09-21 Thread Yaakov Selkowitz
On Sun, 2015-09-20 at 14:15 +0200, Achim Gratz wrote: > ISL has been updated to version 0.14.1 as required by newer versions of > gcc. Achim, libisl13 is missing setup.hint on both arches, so there is no way to install it with setup. Any idea what went wrong? -- Yaakov -- Problem reports:

[ANNOUNCEMENT] Updated: isl-0.14.1

2015-09-20 Thread Achim Gratz
ISL has been updated to version 0.14.1 as required by newer versions of gcc. ISL is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affi