------- Comment #1 from pinskia at gcc dot gnu dot org 2009-06-15 14:59 -------
You can use soft links inside the source directory to say where the source
directories are located. Is that good enough?
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|Add a switch to configure to|Add a switch to configure to
|allow *source* directory of |allow *source* directory of
|mprt and gmp to be |mprt and gmp to be
|specified. |specified.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40447
