This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[trunk] patch adding more exported include files in PLUGIN_HEADERS (ggc, tree-dump, pretty-print)


Hello All,

The attached 1-line patch adds more include files in headers. FYI, MELT plugins do require them and I am sure that some plugins may either need to do GGC allocations, or tree dumping, or pretty printing.

gcc/ChangeLog:
2009-06-30  Basile Starynkevitch  <basile@starynkevitch.net>
   * Makefile.in (PLUGIN_HEADERS): added ggc, tree-dump, pretty-print.

Ok for trunk if it bootstraps -which it should, since this only affect installation!?

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} ***

Index: gcc/Makefile.in
===================================================================
--- gcc/Makefile.in	(revision 149090)
+++ gcc/Makefile.in	(working copy)
@@ -4075,6 +4075,7 @@
 
 PLUGIN_HEADERS = $(TREE_H) $(CONFIG_H) $(SYSTEM_H) coretypes.h $(TM_H) \
   $(TOPLEV_H) $(BASIC_BLOCK_H) $(GIMPLE_H) $(TREE_PASS_H) $(GCC_PLUGIN_H) \
+  $(GGC_H) $(TREE_DUMP_H) $(PRETTY_PRINT_H) \
   intl.h $(PLUGIN_VERSION_H)
 
 # Install the headers needed to build a plugin.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]