This repository was archived by the owner on Jan 5, 2024. It is now read-only.
This repository was archived by the owner on Jan 5, 2024. It is now read-only.
Closed
Description
I have a project which uses the contrib package.
[targets.lib]
path = "src"
mods = [
# ...
]
idris_opts = ["-p", "contrib"]Building with elba works nicely and the package is added, however when I run elba repl it does not add the -p contrib to the Idris command causing there to be an error when loading my files.
Maybe elba can append the command line options to the repl invokation to resolve this?