Re: [Haskell-cafe] Installing agda through cabal

2009-06-19 Thread Daniel Fischer
Am Freitag 19 Juni 2009 23:41:05 schrieb Paulo J. Matos: > > 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. :) This has been discussed in connection to the question

Re: [Haskell-cafe] Installing agda through cabal

2009-06-19 Thread Paulo J. Matos
On Fri, 2009-06-19 at 23:35 +0200, Max Rabkin wrote: > On Fri, Jun 19, 2009 at 11:20 PM, Paulo J. Matos 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

Re: [Haskell-cafe] Installing agda through cabal

2009-06-19 Thread Max Rabkin
On Fri, Jun 19, 2009 at 11:20 PM, Paulo J. Matos 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-

Re: [Haskell-cafe] Installing agda through cabal

2009-06-19 Thread Paulo J. Matos
On Fri, 2009-06-19 at 15:35 -0500, Jake McArthur wrote: > Paulo J. Matos wrote: > > As you can see, I had just finished installing alex 2.3.1, so why does > > cabal still request alex >=2.0.1 && <3? > > Probably you don't have alex in your PATH. > > - Jake Shouldn't cabal make sure the library i

Re: [Haskell-cafe] Installing agda through cabal

2009-06-19 Thread Jake McArthur
Paulo J. Matos wrote: As you can see, I had just finished installing alex 2.3.1, so why does cabal still request alex >=2.0.1 && <3? Probably you don't have alex in your PATH. - Jake ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.h