[Bug bootstrap/59878] New: [4.9 Regression] ISL from cloog does not work with trunk

[Bug bootstrap/59878] New: [4.9 Regression] ISL from cloog does not work with trunk

[tkoenig at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59878

            Bug ID: 59878
           Summary: [4.9 Regression] ISL from cloog does not work with
                    trunk
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tkoenig at gcc dot gnu.org

How to reproduce:

- Get isl from infrastructure directory
- configure
- install by default (installs in /usr/local)
- Get cloog from the infrastructure directory
- configure without any options
- install
- configure using

VER=../trunk/configure && test -e $VER && rm -rf * && $VER --prefix=$HOME
--with-isl=/usr/local --with-cloog=/usr/local --enable-languages=c,fortran,c++
&& make -j6 && make install

Result then is

checking for the correct version of the gmp/mpfr/mpc libraries... yes
checking for version 0.10 of ISL... no
checking for version 0.11 of ISL... no
checking for version 0.12 of ISL... no
configure: error: Unable to find a usable ISL.  See config.log for details.

The reason for this is shown in the modified test program:

ig25@linux-fd1f:/tmp> cat isl.c
#include <isl/version.h>
#include <stdio.h>
int
main ()
{
  printf("%s", isl_version ());
}

ig25@linux-fd1f:/tmp> gcc isl.c -lisl
ig25@linux-fd1f:/tmp> ./a.out
UNKNOWN

It is necessary to configure cloog with --with-isl=system go get around that,
which is not documented anywhere.

[Bug bootstrap/59878] [4.9 Regression] ISL from cloog does not work with trunk

[schwab@linux-m68k.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59878

--- Comment #1 from Andreas Schwab <schwab@linux-m68k.org> ---
See <http://gcc.gnu.org/install/prerequisites.html>.

[Bug bootstrap/59878] [4.9 Regression] ISL from cloog does not work with trunk

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59878

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
But the prerequisites.html already says "Use --with-isl=system".  So to me it
looks like a pilot error.

[Bug bootstrap/59878] [4.9 Regression] ISL from cloog does not work with trunk

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59878

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
"Use --with-isl=system to direct CLooG to pick up an already installed ISL,
otherwise it will use ISL 0.11.1 as bundled with CLooG"

doesn't exactly suggest that using the ISL 0.11.1 bundled with CLooG will
not work though (it's exactly the version suggested ...)

So the wording could be improved.

[Bug bootstrap/59878] [4.9 Regression] ISL from cloog does not work with trunk

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59878

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |grosser at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
"Fixed".  (or invalid, just depends how you interpret it ;))

-> make the cloog folks have the bundled ISL produce a sensible isl_version ()
output would be a better "fix", of course ;)

Tobias?  (not sure, maybe cloog 0.18.1 is fixed in this regard, 0.18.0
definitely wasn't)