From 530afc5a6f06c21fc4bcfc40f34497caad08befb Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 20 Jun 2018 14:27:00 +0200
Subject: Issues better diagnostics for missing plugin headers

---
 odb/gcc-fwd.hxx | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.1