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
