Hello All,
I am very glad that plugins are now inside the trunk.
I have configured the trunk as suggested in
http://gcc.gnu.org/ml/gcc/2009-06/msg00173.html so I invoke it as gcc-trunk
Apparently, the goal is to be able to compile (at least some) plugins
without having the GCC source tree or build tree.
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
My feeling is that, at least on Linux machines, a plugin might be
compiled with e.g. a Makefile containing
GCC=gcc-trunk
GCCPLUGINS_DIR:=$(shell $(GCC) -print-file-name=plugin)
CFLAGS+= -I$(GCCPLUGINS_DIR)/include -fPIC
plugin.so: plugin.pic.o
$(GCC) -shared $^ -o $@
plugin.pic.o: plugin.c
Should we add a section "Building plugins" in the Plugin chapter of the
documentation http://gcc.gnu.org/onlinedocs/gccint/Plugins.html ?
By the way, are we sure that install-plugin target in gcc/Makefile is
invoked from a toplevel sudo make install in the build dir? I feel it
might not be the case, but I am not sure..
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} ***
