[Haskell-cafe] Installing agda through cabal

Paulo J. Matos pocmatos at gmail.com
Fri Jun 19 17:41:05 EDT 2009

On Fri, 2009-06-19 at 23:35 +0200, Max Rabkin wrote:
> 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.

You're right. Added .cabal/bin to path and everything is ok.

> 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.

Yep, might be an interesting idea for warning. :)

> --Max

More information about the Haskell-Cafe mailing list