module nitg
import modelbuilder
-import exprbuilder
+import frontend
import rapid_type_analysis
import global_compiler
import separate_erasure_compiler
# Create a tool context to handle options and paths
var toolcontext = new ToolContext
+
+# Create a new option for --global
+var opt_global = new OptionBool("Use global compilation", "--global")
+toolcontext.option_context.add_option(opt_global)
+
# We do not add other options, so process them now!
toolcontext.process_options
var progname = arguments.first
# Here we load an process all modules passed on the command line
-var mmodules = modelbuilder.parse_and_build([progname])
-if mmodules.is_empty then return
-modelbuilder.full_propdef_semantic_analysis
+var mmodules = modelbuilder.parse([progname])
-if toolcontext.opt_only_metamodel.value then exit(0)
+if mmodules.is_empty then return
+modelbuilder.run_phases
# Here we launch the interpreter on the main module
assert mmodules.length == 1
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