The package the executable belongs to.
The executable's user-defined configuration.
A Lean executable -- its package plus its configuration.
The Lean executables of the package (as an Array).
Try to find a Lean executable in the package with the given name.
Converts the executable configuration into a library
with a single module (the root).
The executable's well-formed name.
Converts the executable into a library with a single module (the root).
The executable's root module.
Return the the root module if the name matches, otherwise return none.
The file name of binary executable
(i.e., exeName plus the platform's exeExtension).
The path to the executable in the package's binDir.
The arguments to pass to leanc when linking the binary executable.
That is, -rdynamic (if non-Windows and supportInterpreter) plus the
package's and then the executable's moreLinkArgs.
Locate the named module in the package (if it is buildable and local to it).