The steam powered Idris package manager. Ivor gives you isolated and reproducable Idris builds.
Ivor currently doesn't ship prebuilt binaries, so you'll have to install the dependencies and build it manually:
git clone https://github.com/ziman/lightyear.git
cd lightyear
git checkout dbcd847ed7a9e62fa0b502b3d89cca43a96f256c
idris --install lightyear.ipkg
cd ..
git clone https://github.com/emptyflash/tomladris.git
cd tomladris
git checkout ec324128ebe8b446e84d8be60b0ed085d07fd36d
idris --install tomladris.ipkg
cd ..
git clone https://github.com/emptyflash/idris-ipkg-parser
cd idris-ipkg-parser
git checkout 35cc2f54d4f3b3710f637d0a8c897bfbb32fe183
idris --install ipkgparser.ipkg
cd ..
idris --build ivor.ipkg
mv ivor.run /usr/local/ivor
Next you can create an ivor.toml file in the root of your project that looks something like this:
name = "ivor"
version = "1.0.0"
description = "The steam powered Idris package manager"
opts = "-p effects -p contrib"
main = "Ivor"
executable = "ivor.run"
sourceDirectory = "src"
[dependencies]
ziman/lightyear = "dbcd847ed7a9e62fa0b502b3d89cca43a96f256c"
emptyflash/tomladris = "ec324128ebe8b446e84d8be60b0ed085d07fd36d"
emptyflash/idris-ipkg-parser = "35cc2f54d4f3b3710f637d0a8c897bfbb32fe183"
The dependencies look like user/repo = "git sha". This is likely to
change as I figure out how to handle transitive dependencies. Right now
you'll have to flatten out your deps and make sure they're in the right
order. All the other flags match up with Idris' ipkg file.
Once you have an ivor.toml you can run:
ivor installto install the dependencies,ivor buildto build your project,ivor replto hop in the repl with all of your dependencies,ivor testto run the tests.
If you have any problems please open an issue!