We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
build.tools
./configure --enable-extended
1 parent 41cb42a commit 150e163Copy full SHA for 150e163
src/bootstrap/configure.py
@@ -282,6 +282,23 @@ def parse_args(args):
282
283
set('build.configure-args', args, config)
284
apply_args(known_args, option_checking, config)
285
+
286
+ # fill the build.tools with default values if build.extended is enabled
287
+ if known_args.get('extended', False) and 'tools' not in known_args:
288
+ tools = [
289
+ "cargo",
290
+ "clippy",
291
+ "rustdoc",
292
+ "rustfmt",
293
+ "rust-analyzer",
294
+ "analysis",
295
+ "src",
296
+ ]
297
+ # add rust-demangler if build.profiler is enabled
298
+ if known_args.get('profiler', False):
299
+ tools.append("rust-demangler")
300
+ set('build.tools', tools, config)
301
302
return parse_example_config(known_args, config)
303
304
0 commit comments