sirdi
A simple package manager for Idris 2.
Contributing
See the issues for work that needs to be done. PRs that fix existing issues should be a priority.
If you want to make some large changes, then it might be worth opening an issue or draft PR. This will ensure that multiple people don't duplicate their work by independently working to solve the same problem.
Usage
Commands
Sub Command | Effect |
---|---|
new <project_name> |
Creates a template Idris2 project. |
build |
Builds the project and its dependencies. |
run |
Runs the executable (if a main has been specified in the config). |
clean |
Removes all build files. |
dep-tree |
Prints a dependency tree. |
prune |
Deletes build files for old dependencies that are no longer used. |
Configuration
Configuration takes places in the sirdi.json
file. Check out the examples/
directory for example uses.
Design
The main design goal of sirdi
is simplicity. It is intended as a convenient wrapper around the existing ipkg
system and git
.