[−][src]Module elba::build
Actually building Idris packages.
Modules
context | |
invoke | Utilities for interacting with the Idris compiler |
job |
Structs
Targets |
Enums
Target | A type of Target that should be built |
Functions
compile_bin | |
compile_doc | |
compile_lib | |
run_prebuild_script | |
run_script |