From d9a068c997c38c82cedf20082dc15b0a575e404e Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Tue, 30 Aug 2016 16:47:06 +0200 Subject: Build infrastructure update --- build/root.build | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'build/root.build') diff --git a/build/root.build b/build/root.build index 730200b..7fb4a2c 100644 --- a/build/root.build +++ b/build/root.build @@ -13,6 +13,20 @@ 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. +# This is also the reason why we need to explicitly spell out individual +# source files instead of using the cli.cxx{} group (it won't be there +# unless the module is configured). +# +using? cli + +if! $cli.configured +{ + define cli: file + cli{*}: extension = cli +} + # All exe{} in tests/ are, well, tests. # tests/exe{*}: test = true -- cgit v1.1