Install Idris from Cabal

First install Haskell (ghc):

see this page

install haskell
Also Cabal install cabal
Also ghc-zlib (was Zlib and Zliball) install zlib

Follow instructions on these sites:

To install run

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:
Correspondence about this page

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2023 Martin John Baker - All rights reserved - privacy policy.