diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-11-23 10:06:54 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-11-23 10:06:54 +0200 |
commit | 1f7d34d2c5c4cd552e1a20658d64c51b5df909d1 (patch) | |
tree | cdedd876424ffce51d0a394f482f4a9c9808bf02 | |
parent | d52c1fb406b1cef82c5f5a28fc1804d7d99a49d8 (diff) |
By default leave the cli module unconfigured
So that we don't pick up so system-installed version of the cli compiler.
-rw-r--r-- | build/bootstrap.build | 7 | ||||
-rw-r--r-- | buildfile | 4 |
2 files changed, 9 insertions, 2 deletions
diff --git a/build/bootstrap.build b/build/bootstrap.build index 7c5dd61..efa4115 100644 --- a/build/bootstrap.build +++ b/build/bootstrap.build @@ -14,7 +14,14 @@ dist.package = $project-$version if ($revision != 0) dist.package += +$revision +# By default leave the cli module unconfigured since we don't want to use some +# system-installed cli. Note that this value will be overridden if set both on +# the command line or in config.build. +# +config.cli = false + using config + using dist using test using install @@ -11,8 +11,8 @@ d = cli/ unit-tests/ # compiler and test the installation with out-of-tree builds of tests/ and # examples/. # -# @@ A problem with this approach is an old cli compiler installed in the -# system -- it will be used for the project including tests and examples. +# Note that to make sure we don't pick up some system-installed cli, we +# default (in bootstrap.build) to leaving the cli module unconfigured. # if $cli.configured d += tests/ examples/ |