src/HOL/Tools/etc/options
changeset 74078 a2cbe81e1e32
parent 74077 b93d8c2ebab0
child 74352 fb8ce6090437
--- a/src/HOL/Tools/etc/options	Wed Jul 28 14:16:19 2021 +0200
+++ b/src/HOL/Tools/etc/options	Wed Jul 28 19:17:31 2021 +0200
@@ -59,6 +59,9 @@
 option mirabelle_max_calls : int = 0
   -- "max. no. of calls to each action (0: unbounded)"
 
+option mirabelle_output_dir : string = "mirabelle"
+  -- "output directory for log files and generated artefacts"
+
 option mirabelle_actions : string = ""
   -- "Mirabelle actions (outer syntax, separated by semicolons)"