# Here we load an process all modules passed on the command line
var mmodules = modelbuilder.parse([progname])
+
if mmodules.is_empty then return
modelbuilder.run_phases
-if toolcontext.opt_only_metamodel.value then exit(0)
-
# Here we launch the interpreter on the main module
assert mmodules.length == 1
var mainmodule = mmodules.first
if toolcontext.opt_erasure.value then
modelbuilder.run_separate_erasure_compiler(mainmodule, analysis)
-else if toolcontext.opt_separate.value then
- modelbuilder.run_separate_compiler(mainmodule, analysis)
-else
+else if opt_global.value then
modelbuilder.run_global_compiler(mainmodule, analysis)
+else
+ modelbuilder.run_separate_compiler(mainmodule, analysis)
end