aboutsummaryrefslogtreecommitdiff
path: root/odb/gcc-fwd.hxx
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-06-20 14:27:00 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-06-20 14:27:00 +0200
commit530afc5a6f06c21fc4bcfc40f34497caad08befb (patch)
treefdd375e5ee9b9d50037ddf23b85229eb8d5e6bd9 /odb/gcc-fwd.hxx
parent02512f4629d7c6d21947536a2b5499a27d9c8c44 (diff)
Issues better diagnostics for missing plugin headers
Diffstat (limited to 'odb/gcc-fwd.hxx')
-rw-r--r--odb/gcc-fwd.hxx6
1 files changed, 6 insertions, 0 deletions
diff --git a/odb/gcc-fwd.hxx b/odb/gcc-fwd.hxx
index 26727df..1a43a98 100644
--- a/odb/gcc-fwd.hxx
+++ b/odb/gcc-fwd.hxx
@@ -5,6 +5,12 @@
#ifndef ODB_GCC_FWD_HXX
#define ODB_GCC_FWD_HXX
+#if __GNUC__ >= 5
+# if !__has_include(<bversion.h>)
+# error GCC plugin headers are not installed
+# endif
+#endif
+
#include <bversion.h>
#if BUILDING_GCC_MAJOR >= 6