Install Idris - Martin Baker

First install Haskell (ghc):

see this page

Also Cabal

Also ghc-zlib (was Zlib and Zliball)

Follow instructions on these sites:

To install run

cabal update
cabal install --allow-newer --constraint='haskeline < 0.8.0.0' idris

This can take a long time 10-15min

Check if path is set:

echo $PATH

if not edit login shell. Put PATH into local '.profile' file like this:

# Sample .profile for SuSE Linux
# rewritten by Christian Steinruecken 
#
# This file is read each time a login shell is started.
# All other interactive shells will only read .bashrc; this is particularly
# important for language settings, see below.

test -z "$PROFILEREAD" && . /etc/profile || true
PATH=$PATH:/home/mjb/.cabal/bin

# Most applications support several languages for their output.

then Idris worked:

mjb@localhost:/usr/lib64> idris
     ____    __     _                                          
    /  _/___/ /____(_)____                                     
    / // __  / ___/ / ___/     Version 1.3.1
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/      
 /___/\__,_/_/  /_/____/       Type :? for help               

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

Set Path

The path needs to be set but the path only works for current sesion.

mjb@linux:~> PATH=$PATH:/home/mjb/.cabal/bin
mjb@linux:~> idris
     ____    __     _                                          
    /  _/___/ /____(_)____                                     
    / // __  / ___/ / ___/     Version 1.2.0
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/      
 /___/\__,_/_/  /_/____/       Type :? for help               

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

So need to put in login shell:

# Sample .profile for SuSE Linux
# rewritten by Christian Steinruecken 
#
# This file is read each time a login shell is started.
# All other interactive shells will only read .bashrc; this is particularly
# important for language settings, see below.

test -z "$PROFILEREAD" && . /etc/profile || true
PATH=$PATH:/home/mjb/.cabal/bin

# Most applications support several languages for their output.
# To make use of this feature, simply uncomment one of the lines below or
# add your own one (see /usr/share/locale/locale.alias for more codes)
# This overwrites the system default set in /etc/sysconfig/language
# in the variable RC_LANG.
#
#export LANG=de_DE.UTF-8	# uncomment this line for German output
#export LANG=fr_FR.UTF-8	# uncomment this line for French output
#export LANG=es_ES.UTF-8	# uncomment this line for Spanish output


# Some people don't like fortune. If you uncomment the following lines,
# you will have a fortune each time you log in ;-)

#if [ -x /usr/bin/fortune ] ; then
#    echo
#    /usr/bin/fortune
#    echo
#fi

Installing Idris-mode in Emacs

See this page.

metadata block

see also:	Axiom FriCAS
Correspondence about this page

Install Idris from Cabal

Set Path

Installing Idris-mode in Emacs

EuclideanSpace

Related Subjects

Computer Algebra Systems