/usr/lib/gcc/x86_64-linux-gnu/4.8/plugin/include/plugin-version.h is in gcc-4.8-plugin-dev 4.8.5-4ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | #include "configargs.h"
#define GCCPLUGIN_VERSION_MAJOR 4
#define GCCPLUGIN_VERSION_MINOR 8
#define GCCPLUGIN_VERSION_PATCHLEVEL 4.8
#define GCCPLUGIN_VERSION (GCCPLUGIN_VERSION_MAJOR*1000 + GCCPLUGIN_VERSION_MINOR)
static char basever[] = "4.8";
static char datestamp[] = "20150623";
static char devphase[] = "";
static char revision[] = "";
/* FIXME plugins: We should make the version information more precise.
One way to do is to add a checksum. */
static struct plugin_gcc_version gcc_version = {basever, datestamp,
devphase, revision,
configuration_arguments};
|