[kyukhin/gomp4-offload] DESTDIR issues

[Paolo Bonzini]

Il 17/09/2014 16:09, Jakub Jelinek ha scritto:
>> > Is the offloading compiler built together with GCC or previously?  If
>> > the latter, what's the difference between the offloading compiler and
>> > say gmp?  Setting the LD_LIBRARY_PATH would be the responsibility of
>> > whoever builds GCC; it would be the same here for the COMPILER_PATH.
> Right now previously, but (usually) from the very same sources, so I think
> it will be usually (but not always?) desirable to build them together, perhaps
> not in a single toplevel configure and single toplevel make.

If it's from the same sources, that probably rules out a single toplevel
configure/make.  Is it a problem if a newer GCC is compiled with older
headers from the offloading compiler?

In any case, I would go with a configure option.

Paolo