Global install of a program built in sandbox

Question

I'm using sandboxes all the time when building Haskell programs and libraries. But occasionally, I build a program that I would like to install system wide. There doesn't seem to be an easy way of taking a program which is built in a sandbox and installing it outside of the sandbox.

Answer 1

Linking Idris to a PATH-folder

If you are on linux it's as simple as putting a symbolic link somewhere into your path - I have a ~/bin for that. So it's the same as bheklilr mentioned only that I usually get the dev-version from github:

git clone git://github.com/idris-lang/Idris-dev idris
cd idris
cabal sandbox init
cabal update
cabal install --dependencies only
make

after this I go to ~/bin and use ln -s [path to idris]/.cabal-sandbox/bin/idris - you can link the other executables too if you like but this one will should be enough to play with idris