On Thu, Apr 8, 2010 at 11:00 AM, Sean Leather
I created a few tools to help me manage multiple GHC distributions in a Bash shell environment. Perhaps it's useful to others.
http://github.com/spl/multi-ghc
Feedback welcome. I'd also like to know if something similar exists.
Does this also work with a system installed ghc? These are usually installed in /usr (I'm using Gentoo Linux): $ ls -l /usr/bin/ghc* lrwxrwxrwx 1 root root 10 dec 22 00:22 /usr/bin/ghc -> ghc-6.12.1 -rwxr-xr-x 1 root root 279 dec 22 00:20 /usr/bin/ghc-6.12.1 lrwxrwxrwx 1 root root 11 dec 22 00:22 /usr/bin/ghci -> ghci-6.12.1 -rwxr-xr-x 1 root root 61 dec 22 00:20 /usr/bin/ghci-6.12.1 lrwxrwxrwx 1 root root 14 dec 22 00:22 /usr/bin/ghc-pkg -> ghc-pkg-6.12.1 -rwxr-xr-x 1 root root 262 dec 22 00:20 /usr/bin/ghc-pkg-6.12.1 If so, I think I'm going to use this tools since I occasionally like to try out ghc-HEAD. regards, Bas