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.
