Build infrastructure update

1 files changed, 14 insertions, 0 deletions

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