-let input_file,
- debug_flag, directory, includes, use_prelude, anon_vars, targets =
- let args = ref [] in
- let debug_flag = ref false in
- let directory = ref "." in
- let input_file = ref "Goalfile" in
- let includes = ref [stdlibdir] in
- let add_include dir = includes := dir :: !includes in
- let use_prelude = ref true in
+let debug_flag = ref false
+let directory = ref "."
+let input_file = ref "Goalfile"
+let includes = ref [stdlibdir]
+let add_include dir = includes := dir :: !includes
+let nr_jobs = ref (nprocs ())
+let silent = ref false
+let use_prelude = ref true