Installing an Idris Development version in a sandbox - tdidriksen/Idris-dev GitHub Wiki

This page documents how a development version of Idris can be installed using cabal-sandboxes.

These instructions have been tested on both Ubuntu 14.04 LTS and Debian Jessie, however, it is assumed that most of these instructions should apply equally well to other systems.

Optional Step Highlight Versions

While not strictly necessary, it can be convenient to have highlight-versions installed. highlight-versions can be used to easily see the dependencies that would be installed.

cabal install highlight-versions

Idris Dependencies using System Package Manager.

The first step in our installation process is to install external and internal dependencies that can be satisfied by our system's package manager. Instructions for your favourite platform are available..

Clone and Initialise Sandbox

With the dependancies resolved we can then set up our installation environment. First we obtain the latest version:

git clone git://github.com/idris-lang/Idris-dev dev

Second we step into that directory, and turn it into a sandbox:

cd dev
cabal sandbox init
cabal update

Installing Idris

If you are interested in the dependancies that will be installed during installation , the following command will list them.

cabal install --dry-run --only-dependencies | highlight-versions 

If not the dependancies can be installed directly as follows:

cabal install --only-dependencies

Once you have installed those dependencies, you can just install Idris itself, in the simplest case with just make

make

Using Dev Version.

When using cabal sandboxes, binary files are installed within the sandbox in .cabal-sandbox/bin. As such the development idris environment will also be installed in ./cabal-sandbox/. You can call the development version of Idris from the git repository's root as follows:

./.cabal-sandbox/bin/idris 

However, if you wish to make use of this development version in other projects on your system, then consider adding ./cabal-sandbox/bin to your PATH.