This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: {GRAPHITE] Replacement of isl_int by isl_val


Tobias Grosser wrote:
On 02/09/2014 04:47 PM, Mircea Namolaru wrote:
   Patch for replacement of the isl_int (obsolete) by isl_val.

Just for people not aware of the idea of this patch. Cloog recently
upgraded to the latest version of isl (isl-0.12.2) and with this
release isl deprecated the isl_int interface in favor of the isl_val
interface.

Is isl_int already in ISL 0.10 and/or in ISL 0.11.1? 0.10 is still supported by configure and 0.11.1 is *the* version listed in prerequisites. Cf. http://gcc.gnu.org/ml/gcc/2014-01/msg00288.html

If it is only in 0.11.1, I think configure can be simply updated without further ado.

Tobias

PS: I think we should apply the following patch:

--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -386 +386 @@ installed but it is not in your default library search path, the
-@item ISL Library version 0.11.1
+@item ISL Library version 0.11.1 (or later)


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]