On Thu, 5 Jul 2012, Richard Guenther wrote:
> On Thu, 5 Jul 2012, Richard Guenther wrote:
>
> > 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).
>
> Looking at isl/cloog configure in detail it seems that the following might
> work (tested with all reqs in tree only yet). Hopefully it autodetects
> the case where the build dir does not exist and uses the system library
> instead then (of course alternate gmp install dirs are still not properly
> passed down I guess).
Does not work with out-of-tree gmp. Any suggestion on how to
conditionalize Makefile.def extra_configure_flags on the presence
of a host_module?
Richard.
> Index: Makefile.def
> ===================================================================
> --- Makefile.def (revision 189263)
> +++ Makefile.def (working copy)
> @@ -62,12 +62,12 @@ host_modules= { module= mpc; lib_path=.l
> extra_configure_flags='--disable-shared
> @extra_mpc_gmp_configure_flags@ @extra_mpc_mpfr_configure_flags@';
> no_install= true; };
> host_modules= { module= isl; lib_path=.libs; bootstrap=true;
> - extra_configure_flags='--disable-shared
> --with-gmp-library=$$r/$(HOST_SUBDIR)/gmp/.libs
> --with-gmp-include=$$r/$(HOST_SUBDIR)/gmp --with-bits=gmp';
> + extra_configure_flags='--disable-shared
> --with-gmp-builddir=$$r/$(HOST_SUBDIR)/gmp --with-bits=gmp';
> + extra_make_flags='V=1';
> no_install= true; };
> host_modules= { module= cloog; lib_path=.libs; bootstrap=true;
> - extra_configure_flags='--disable-shared
> --with-gmp-library=$$r/$(HOST_SUBDIR)/gmp/.libs
> --with-gmp-include=$$r/$(HOST_SUBDIR)/gmp --with-bits=gmp
> --with-isl=system';
> - extra_exports='CPPFLAGS="-I$$r/$(HOST_SUBDIR)/isl/include
> -I$$s/isl/include $$CPPFLAGS"; export CPPFLAGS;
> LDFLAGS="-L$$r/$(HOST_SUBDIR)/isl/.libs $$LDFLAGS"; export LDFLAGS; ';
> - extra_make_flags='CPPFLAGS="$$CPPFLAGS"
> LDFLAGS="$$LDFLAGS" V=1';
> + extra_configure_flags='--disable-shared
> --with-gmp-builddir=$$r/$(HOST_SUBDIR)/gmp
> --with-isl-builddir=$$r/$(HOST_SUBDIR)/isl --with-bits=gmp';
> + extra_make_flags='V=1';
> no_install= true; };
> host_modules= { module= libelf; lib_path=.libs; bootstrap=true;
> extra_configure_flags='--disable-shared';
>
