diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2016-08-31 19:27:53 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2016-08-31 19:27:53 +0300 |
commit | 39c76ef8c9b664c94d5d7b789457fa4045fdce04 (patch) | |
tree | eb637b473fa4f5faa41de8e4a422a977f04b2960 /build/root.build | |
parent | b2b169b6a5d92bb662637721a2bafa73d88bce35 (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 +} |