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