diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2016-08-31 19:24:57 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2016-08-31 19:24:57 +0300 |
commit | 080fb39e0d41a2d293f2480a5de0673c605cfbdf (patch) | |
tree | aca8b68059bb42ec756ef4221d75121f4c6058e3 /build/root.build | |
parent | 88d3b517c08e5a906a224b8b14730f8f80f9ae04 (diff) |
Build infrastructure update
Diffstat (limited to 'build/root.build')
-rw-r--r-- | build/root.build | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/build/root.build b/build/root.build index fb0de84..5898b63 100644 --- a/build/root.build +++ b/build/root.build @@ -5,3 +5,21 @@ cxx.std = 11 using cxx + +hxx{*}: extension = hxx +ixx{*}: extension = ixx +txx{*}: extension = txx +cxx{*}: extension = cxx + +cxx.poptions =+ -I$out_root -I$src_root + +# Load the cli module but only if it's available. This way a distribution that +# includes pre-generated files can be built without installing cli. +# +using? cli + +if! $cli.loaded +{ + define cli: file + cli{*}: extension = cli +} |