Skip to content
Idris plugin for asdf version manager
Shell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
bin
.travis.yml travis wait Nov 29, 2016
LICENSE
README.md Looking for maintainers Feb 20, 2017

README.md

asdf-idris

help maintain this lib

Idris plugin for asdf version manager

Install

asdf plugin-add idris https://github.com/vic/asdf-idris.git

Requirements

OSX

For OSX this plugin has no aditional requirements as it will download and install the pre-packaged binaries as built by the Idris team.

One important difference with downloading and installing the pkg by hand is that using asdf allows you to have many versions of Idris installed alongside.

If you are on OSX and want to install from cabal be sure to set ASDF_IDRIS_INSTALL=cabal in your shell environment.

Linux, Windows and Installing-from-source

When installing on other platforms (Linux, Windows), or when installing a specific source revision, you will need to have cabal install and cabal sandbox working on your system.

The easiest way to get them is by using an asdf managed haskell. After installing haskell with asdf, execute:

stack install cabal-install
asdf reshim haskell

Another way is to manually install the Haskell Platform. Follow the Installation Instructions for installing any aditional build-time dependency for your platform.

Use

Check asdf readme for instructions on how to install & manage versions of Idris.

You can’t perform that action at this time.