From bbba599fc28e9121d99e27105ad045c8e25c51a4 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 20 Jun 2018 08:19:59 +0200
Subject: Various build improvements

---
 build/root.build | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'build/root.build')

diff --git a/build/root.build b/build/root.build
index 66eb8b0..ed295ce 100644
--- a/build/root.build
+++ b/build/root.build
@@ -6,6 +6,19 @@ cxx.std = 11
 
 using cxx
 
+if ($cxx.id != 'gcc')
+  fail 'ODB compiler can only be built with GCC'
+
+# Determine the GCC plugin directory.
+#
+# If plugin support is disabled, then -print-file-name will print the name we
+# have passed (the real plugin directory will always be absolute).
+#
+plugin_dir = [dir_path] $process.run($cxx.path -print-file-name=plugin)
+
+if ("$plugin_dir" == plugin)
+  fail "$recall($cxx.path) does not support plugins"
+
 hxx{*}: extension = hxx
 ixx{*}: extension = ixx
 txx{*}: extension = txx
-- 
cgit v1.1