Installation Instructions

The page collates the various instructions for installing Idris on Platform X. If you system is not in the list below please consider creating a page and linking to it here.

• Mac OS X
• Ubuntu
• Debian
• FreeBSD
• Windows
• Vagrant
• Windows Binaries
• Fedora
• Arch
• NixOS

For those who like to keep with the latest upstream development for Idris, instructions for deploying Idris HEAD in a cabal sandbox are available.

Note If you find that Idris takes a long time to install please consider checking your cabal config. Users have reported that asking cabal to generate all documentation will impact build times.

Note Sometimes when invoking cabal update; cabal install idris cabal will complain about possible package breakage. For example:

regex-base-0.93.2 (reinstall) changes: mtl-2.1.2 -> 2.2.1
cabal: The following packages are likely to be broken by the reinstalls:
regex-posix-0.95.2
regex-compat-0.95.1
Use --force-reinstalls if you want to install anyway.

Here cabal is complaining that some of your packages are not up-to-date. First try cabal update if you haven't done so already. If that is not successful, then cabal has some flags that might be helpful in resolving package selection:

--reinstall                Install even if it means installing the same version again.
--avoid-reinstalls         Do not select versions that would destructively overwrite installed packages.
--force-reinstalls         Reinstall packages even if they will most likely break other installed packages.
--upgrade-dependencies     Pick the latest version for all dependencies, rather than trying to pick an installed version.

Please try those.