<div dir="ltr"><span class="gmail-im" style="color:rgb(80,0,80)"><div dir="ltr">On Sat, 22 Dec 2018 at 19:50, Alex Syrnikov <<a href="mailto:san@masterspline.eu" target="_blank">san@masterspline.eu</a>> wrote:<br></div></span><div class="gmail_quote"><span class="gmail-im" style="color:rgb(80,0,80)"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Boris, probably this patch for odb will save some time for successors.<br><br><br>diff --git a/odb/gcc-fwd.hxx b/odb/gcc-fwd.hxx<br>index 1a43a98..0897bf5 100644<br>--- a/odb/gcc-fwd.hxx<br>+++ b/odb/gcc-fwd.hxx<br>@@ -7,7 +7,7 @@<br> <br> #if __GNUC__ >= 5<br> #  if !__has_include(<bversion.h>)<br>-#    error GCC plugin headers are not installed<br>+#    error GCC plugin headers are not installed (package<br>gcc-8-plugin-dev or gcc-plugin-devel)<br> #  endif<br> #endif<br><br></blockquote><div><br></div></span><div>Hi<br>I already have it installed</div><div><br></div><div><div>>>> rpm -qa | grep gcc-plugin-devel</div><div>gcc-plugin-devel-8.2.1-6.fc29.x86_64</div></div><div><br></div><div>Is it the right one?</div></div></div>