Use conda to install the tools needed

2026-09-02 02:57:53 +02:00 · 2023-01-20 15:34:45 -08:00
parent 5816c669f3
commit ca03da8d95
7 changed files with 84 additions and 1 deletions
@@ -121,6 +121,9 @@ class options(optparse.Values):
    ###################
    # Tool options
    ###################
+    # Use conda to install the default tools
+    # (existing tools will be used if disabled)
+    use_conda = True
    # Variable to select the variant of spice
    spice_name = None
    # The spice executable being used which is derived from the user PATH.