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

tkoenig at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Sun Jan 19 11:55:00 GMT 2014


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.



More information about the Gcc-bugs mailing list