#include "configargs.h"
#define GCCPLUGIN_VERSION_MAJOR   8
#define GCCPLUGIN_VERSION_MINOR   3
#define GCCPLUGIN_VERSION_PATCHLEVEL   1
#define GCCPLUGIN_VERSION  (GCCPLUGIN_VERSION_MAJOR*1000 + GCCPLUGIN_VERSION_MINOR)
static char basever[] = "8.3";
static char datestamp[] = "2019-02-22";
static char devphase[] = "release";
static char revision[] = "";
static struct plugin_gcc_version gcc_version = {basever,
   datestamp, devphase, revision, configuration_arguments};
