At the moment, the user is expected to just put
regentlib.start(main) at the end of their program to run the code, or a more complex set of functions to build a binary.
Instead we want to add run_DSL(main) function or compile_DSL(main) function instead to simplify this (particularly to simplify building binaries).
As part of this, we can move importing the DSL libraries into the same header file, so the "compiled" version can keep track of which libraries are needed for compilation.
At the moment, the user is expected to just put
regentlib.start(main)
at the end of their program to run the code, or a more complex set of functions to build a binary.Instead we want to add
run_DSL(main)
function orcompile_DSL(main)
function instead to simplify this (particularly to simplify building binaries).As part of this, we can move importing the DSL libraries into the same header file, so the "compiled" version can keep track of which libraries are needed for compilation.