1 #include "configargs.h" 2 3 #define GCCPLUGIN_VERSION_MAJOR 4 4 #define GCCPLUGIN_VERSION_MINOR 8 5 #define GCCPLUGIN_VERSION_PATCHLEVEL 3 6 #define GCCPLUGIN_VERSION (GCCPLUGIN_VERSION_MAJOR*1000 + GCCPLUGIN_VERSION_MINOR) 7 8 static char basever[] = "4.8.3"; 9 static char datestamp[] = "20140522"; 10 static char devphase[] = ""; 11 static char revision[] = ""; 12 13 /* FIXME plugins: We should make the version information more precise. 14 One way to do is to add a checksum. */ 15 16 static struct plugin_gcc_version gcc_version = {basever, datestamp, 17 devphase, revision, 18 configuration_arguments}; 19