[Haskell-cafe] Installing agda through cabal

[Max Rabkin]

On Fri, Jun 19, 2009 at 11:20 PM, Paulo J. Matos<pocmatos at gmail.com> wrote:
> Shouldn't cabal make sure the library it installs are in PATH?

This would require modifying the path (since there may be no writable
location on the existing path). But the PATH is set by a combination
of several programs written in Turing-complete languages (shell
script), and those programs themselves are in unknown locations
(depending on the shell in use).

> or at
> least, they are in the PATH of the apps built by cabal itself?

This is a possibility. But surely you're one day going to want to run
your cabal-installed programs yourself (there are some pretty handy
ones), so the easiest thing is to extend your path.

It might be a good idea for cabal-install to warn that its bin
directory is not in your path when you install an executable.

--Max