Skip to content

Instantly share code, notes, and snippets.

@ToJans

ToJans/how_to_install_idris.md

Created December 24, 2014 10:00
Show Gist options
  • Save ToJans/bea02e30278454ca8b3f to your computer and use it in GitHub Desktop.
Save ToJans/bea02e30278454ca8b3f to your computer and use it in GitHub Desktop.
Download ZIP
How I installed idris on ubuntu
Raw
how_to_install_idris.md

Disclaimer: I'm a linux noob

apt-get update
apt-get install haskell-platform libcurses5
cabal update
cabal install cabal-install
cd /tmp
cabal unpack idris
cd idris-0.9.15.1

Edit a file called idris.cabal.

Search for the line containing ghc-options and add the flag -fno-warn-warnings-deprecations at the end of the line.

Save and close the file.

make
cd dist/build/idris
./idris

And you should see this output:

	 ____    __     _                                          
	/  _/___/ /____(_)____                                     
	/ // __  / ___/ / ___/     Version 0.9.15.1
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/      
 /___/\__,_/_/  /_/____/       Type :? for help               

Idris is free software with ABSOLUTELY NO WARRANTY.            
For details type :warranty.
Idris>

Type :q to quit.

Now I'll assume I need to move it somewhere else, but maybe one of you who has more linux experience could help me out with that?

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