On Fri, Aug 12, 2011 at 09:22:04PM +0200, Sven Verdoolaege wrote:
> On Fri, Aug 12, 2011 at 07:16:55PM +0000, Joseph S. Myers wrote:
> > Do you mean there is not only a requirement to build both libraries, but
> > there is a requirement to build CLooG *first*, then ISL, so that ISL's
> > libisl.a overwrites CLooG's rather than the other way round (supposing
> > that they are installed in the same prefix)?
>
> No. You build isl first and configure CLooG to use that isl.
>
> skimo
Skimo,
Currently we don't have any checks for the minimal isl version required.
Since the proposed patches only include a requirement for cloog 0.16.3, this
clearly is insufficent to force the use of the correct isl version. Will isl
continue to be bundled with cloog such that the required version of both isl
and cloog will be determined from the cloog version numbering?
Jack
