Rafael Espindola wrote: (citing me Basile)
Apparently, the goal is to be able to compile (at least some) plugins
without having the GCC source tree or build tree.
Correct.
However, I believe we don't have any documentation stating that. At least
not in http://gcc.gnu.org/onlinedocs/gccint/Plugins.html and not in
http://gcc.gnu.org/wiki/plugins
I did submit a documentation patch. See
http://gcc.gnu.org/ml/gcc-patches/2009-06/msg01169.html
(yes, my English language is poor. I would expect some improvements).
regards.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***
