From 44e9f0067860f38c31869181263a395ab43981d7 Mon Sep 17 00:00:00 2001 From: Rafael Avila de Espindola Date: Thu, 16 Apr 2009 13:12:20 +0000 Subject: gcc-plugin.h (plugin_event): Add PLUGIN_INFO. 2009-04-16 Rafael Avila de Espindola * gcc-plugin.h (plugin_event): Add PLUGIN_INFO. (plugin_info): New. * opts.c (common_handle_option): Don't call print_version. * plugin.c (plugin_name_args): Add version. (register_plugin_info): New. (register_callback): Handle PLUGIN_INFO. (try_init_one_plugin): New. (init_one_plugin): Use try_init_one_plugin. Only free plugin_name_args if failed to init. (finalize_one_plugin): New. (finalize_plugins): New. (print_one_plugin): New. (print_plugins_versions): New. * plugin.h (print_plugins_versions): New. (finalize_plugins): New. * toplev.c (compile_file): Don't call initialize_plugins. (print_version): Call print_plugins_versions. (toplev_main): Call initialize_plugins. Print version if needed. Call finalize_plugins. From-SVN: r146187 --- gcc/plugin.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gcc/plugin.h') diff --git a/gcc/plugin.h b/gcc/plugin.h index 40f864c..d8cf691 100644 --- a/gcc/plugin.h +++ b/gcc/plugin.h @@ -29,5 +29,7 @@ extern void initialize_plugins (void); extern bool plugins_active_p (void); extern void dump_active_plugins (FILE *); extern void debug_active_plugins (void); +extern void print_plugins_versions (FILE *file, const char *indent); +extern void finalize_plugins (void); #endif /* PLUGIN_H */ -- cgit v1.1