On Jul 4, 2012, at 8:31 PM, Magnus Fromreide wrote:

> Hello.
> 
> Ever since the ISL patch went in my builds have failed.

Which ISL patch ?

> I am building with local copies of all the libraries, so I have added
> gmp, mpfr, mpc, isl and cloog from ftp://gcc.gnu.org/pub/gcc/infrastructure
> to my source directory.

I am not familiar with this build (I usually build gmp/mpfr/... once and 
install them).
But it looks like isl doesn't see the gmp includes.  But according to 
$(srcdir)/Makefile.in,
gmp is configured with --with-gmp-include.  Was isl correctly configured in 
your case ?

Tristan.

> 
> The command sequence I use is
> 
> svn co svn://gcc.gnu.org/svn/gcc/trunk
> cd trunk
> ./contrib/download_prerequisites
> wget ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-0.17.0.tar.gz 
> ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.10.tar.bz2
> tar xjf isl-0.10.tar.bz2
> tar xzf cloog-0.17.0.tar.gz
> ln -s cloog-0.17.0 cloog
> ln -s isl-0.10 isl
> cd ..
> mkdir build
> cd build
> ../trunk/configure
> make V=1
> 
> and the error message I get is
> 
> make[5]: Entering directory `/home/maf/src/gcc/build/isl'
> /bin/sh ./libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H  -I. 
> -I../../trunk/isl -I../../trunk/isl/include -Iinclude/  -I. -I../../trunk/isl 
> -I../../trunk/isl/include -Iinclude/      -g -fkeep-inline-functions -MT 
> libisl_la-isl_lp_no_piplib.lo -MD -MP -MF 
> .deps/libisl_la-isl_lp_no_piplib.Tpo -c -o libisl_la-isl_lp_no_piplib.lo 
> `test -f 'isl_lp_no_piplib.c' || echo '../../trunk/isl/'`isl_lp_no_piplib.c
> libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I../../trunk/isl 
> -I../../trunk/isl/include -Iinclude/ -I. -I../../trunk/isl 
> -I../../trunk/isl/include -Iinclude/ -g -fkeep-inline-functions -MT 
> libisl_la-isl_lp_no_piplib.lo -MD -MP -MF 
> .deps/libisl_la-isl_lp_no_piplib.Tpo -c ../../trunk/isl/isl_lp_no_piplib.c -o 
> libisl_la-isl_lp_no_piplib.o
> In file included from ../../trunk/isl/include/isl/lp.h:13:0,
>                 from ../../trunk/isl/isl_lp_piplib.h:13,
>                 from ../../trunk/isl/isl_lp_no_piplib.c:10:
> ../../trunk/isl/include/isl/int.h:15:17: fatal error: gmp.h: No such file or 
> directory
> compilation terminated.
> make[5]: *** [libisl_la-isl_lp_no_piplib.lo] Error 1
> make[5]: Leaving directory `/home/maf/src/gcc/build/isl'
> Making all in doc
> make[5]: Entering directory `/home/maf/src/gcc/build/isl/doc'
> make[5]: Nothing to be done for `all'.
> make[5]: Leaving directory `/home/maf/src/gcc/build/isl/doc'
> make[4]: *** [all-recursive] Error 1
> make[4]: Leaving directory `/home/maf/src/gcc/build/isl'
> make[3]: *** [all] Error 2
> make[3]: Leaving directory `/home/maf/src/gcc/build/isl'
> make[2]: *** [all-stage1-isl] Error 2
> make[2]: Leaving directory `/home/maf/src/gcc/build'
> make[1]: *** [stage1-bubble] Error 2
> make[1]: Leaving directory `/home/maf/src/gcc/build'
> make: *** [all] Error 2
> 
> but 'ls gmp/gmp.h' shows that the file is there.
> 
> Please note that my machine lack the gmp-devel package, so there is no
> /usr/include/gmp.h.
> 
> Adding that package makes the build succeed, but that sounds ridiculous as
> there is a local copy.
> 
> /MF

Reply via email to