diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 08:19:59 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-20 08:19:59 +0200 |
commit | bbba599fc28e9121d99e27105ad045c8e25c51a4 (patch) | |
tree | 9e259c074c93702d8a1b8c66276f963b65ad7404 /build/root.build | |
parent | 290aea0990897ed2aae5ef0579cbfdd04d0dca93 (diff) |
Various build improvements
Diffstat (limited to 'build/root.build')
-rw-r--r-- | build/root.build | 13 |
1 files changed, 13 insertions, 0 deletions
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 |