1#include "configargs.h" 2 3#define GCCPLUGIN_VERSION_MAJOR 4 4#define GCCPLUGIN_VERSION_MINOR 8 5#define GCCPLUGIN_VERSION_PATCHLEVEL 1 6#define GCCPLUGIN_VERSION (GCCPLUGIN_VERSION_MAJOR*1000 + GCCPLUGIN_VERSION_MINOR) 7 8static char basever[] = "4.8.1"; 9static char datestamp[] = "20130531"; 10static char devphase[] = ""; 11static 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 16static struct plugin_gcc_version gcc_version = {basever, datestamp, 17 devphase, revision, 18 configuration_arguments}; 19