diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-03 16:02:45 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-03-03 16:02:45 +0200 |
commit | f0c834ed57ef3afbbed2a4baacbab19fe6e7a6fd (patch) | |
tree | f11e5fafd25f99b3038c32f8333375220c458bc3 /build | |
parent | d0661a3dfdee6b5eef901a1beb6f498a5cf9aa06 (diff) |
Rework build2 cli compilation
Diffstat (limited to 'build')
-rw-r--r-- | build/root.build | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/build/root.build b/build/root.build index 126c0f4..b273cae 100644 --- a/build/root.build +++ b/build/root.build @@ -15,15 +15,12 @@ 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 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 -} - # All exe{} in tests/ are, well, tests. # tests/exe{*}: test = true |