mojo build
Builds an executable from a Mojo file.
Synopsis
mojo build [options] <path>
mojo build [options] <path>
Description
Compiles the Mojo file at the given path into an executable.
By default, the executable is saved to the current directory and named the same as the input file, but without a file extension.
Beware that any Python libraries used in your Mojo project are not included in the executable binary, so they must be provided by the environment where you run the executable.