Skip to content

Instantly share code, notes, and snippets.

@dysinger

dysinger/idris

Last active August 29, 2015 13:56
Show Gist options
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dysinger/8886785 to your computer and use it in GitHub Desktop.
Save dysinger/8886785 to your computer and use it in GitHub Desktop.
Download ZIP
HELP I'M NEW TO HASKELL AND CABAL IS KILLING ME!!!
Raw
idris
# REMOVE ANYTHING CABAL HAS EVER DROPPED ONTO YOUR SYSTEM
rm -rf ~/.{ghc,cabal}
# UPDATE CABAL
cabal update
# UPGRADE CABAL TO 1.18 (BECAUSE THEY ADDED SANDBOXES)
cabal install cabal-install
export PATH=~/.cabal/bin:$PATH ;# PUT THIS IN YOUR PROFILE
# CREATE A SANDBOX (THINK VIRTUALENV)
cd /tmp/
mkdir idris-install
cd idris-install
cabal sandbox init
# INSTALL IDRIS
cabal install idris
sudo cp ./.cabal-sandbox/bin/* /usr/local/bin/
@LeifW
Copy link

LeifW commented Feb 9, 2014

Cabal also has a --destdir option (think make install) - maybe that'd work instead of cp?
https://gist.github.com/LeifW/7125693#file-gistfile1-txt-L3
Idris only has a single executable, idris, in /bin, anyways.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment