From 065d7f5b6dcf79be2f783cae7c3bbc52b19232b1 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 3 Mar 2017 15:57:33 +0200 Subject: Rework build2 cli compilation --- build/root.build | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) (limited to 'build') diff --git a/build/root.build b/build/root.build index 5e80277..595d66e 100644 --- a/build/root.build +++ b/build/root.build @@ -11,13 +11,10 @@ ixx{*}: extension = ixx txx{*}: extension = txx cxx{*}: extension = cxx -# 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. +# 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 file prerequisites 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 -} -- cgit v1.1