v.util: support cmd/tools/.disable_autorecompilation

pull/8185/head
Delyan Angelov 2021-01-18 08:43:20 +02:00
parent 6c87c25ef1
commit 72790cda83
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 4 additions and 2 deletions

View File

@ -124,7 +124,9 @@ pub fn launch_tool(is_verbose bool, tool_name string, args []string) {
vroot := os.dir(vexe) vroot := os.dir(vexe)
set_vroot_folder(vroot) set_vroot_folder(vroot)
tool_args := args_quote_paths(args) tool_args := args_quote_paths(args)
tool_basename := os.real_path(os.join_path(vroot, 'cmd', 'tools', tool_name)) tools_folder := os.join_path(vroot, 'cmd', 'tools')
is_recompilation_disabled := os.exists(os.join_path(tools_folder, '.disable_autorecompilation'))
tool_basename := os.real_path(os.join_path(tools_folder, tool_name))
mut tool_exe := '' mut tool_exe := ''
mut tool_source := '' mut tool_source := ''
if os.is_dir(tool_basename) { if os.is_dir(tool_basename) {
@ -146,7 +148,7 @@ pub fn launch_tool(is_verbose bool, tool_name string, args []string) {
if is_verbose { if is_verbose {
println('launch_tool should_compile: $should_compile') println('launch_tool should_compile: $should_compile')
} }
if should_compile { if should_compile && !is_recompilation_disabled {
emodules := external_module_dependencies_for_tool[tool_name] emodules := external_module_dependencies_for_tool[tool_name]
for emodule in emodules { for emodule in emodules {
check_module_is_installed(emodule, is_verbose) or { panic(err) } check_module_is_installed(emodule, is_verbose) or { panic(err) }