On Thu, 5 Jul 2012, Tristan Gingold wrote: > > 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 ?
I have not tested builds with gmp/mpfr in the source tree but have copied the logic from the old ppl/cloog configury. Can you try to replace $$r/$(HOST_SUBDIR)/gmp with $$s/gmp in Makefile.def? The issue is we can't specify both source and build dirs here (so the underlying issue is packages expect installed gmp but we don't actually install it - they are not expecting to be used as-is in their build directory). Richard.