[Agda] Re: Avoid GHC 6.10.1 (for now)

[Ulf Norell]

On Wed, Nov 12, 2008 at 11:43 AM, Iain Lane <ial at cs.nott.ac.uk> wrote:

> On 12 Nov 2008, at 03:37, Darin Morrison wrote:
>
>  /usr/local/lib/readline-1.0.1.0/ghc-6.10.1/HSreadline-1.0.1.0.o: unknown
>> symbol `_rl_basic_quote_characters'
>> ghc: unable to load package `readline-1.0.1.0'
>>
>> Not terribly surprising I guess.  Initially, I had problems getting the
>> readline package to even compile because it wasn't finding the readline
>> installation from MacPorts.  I managed to get it to compile by manually
>> running configure and passing it the appropriate paths, but apparently
>> there's still something wrong.
>>
>
>
> This was the same problem I had, and it seems we both attempted to fudge it
> in the same way. The hackage readline package doesn't search /opt/local/lib
> for the readline library installed by macports. This is probably something
> which should be reported. I'll do that soon.
>
> Anyway, the way I fixed this is by installing a version of
> GNUReadline.framework. The ones at [0] are PPC only so wouldn't work for me,
> so I've built some intel ones and shoved the zip online at [1]. Just unzip
> it into /Library/Frameworks or ~/Library/Frameworks. For anyone playing
> along at home, the shell file for building readline needs some patching -
> see [2].
>
> Once the framework is installed, readline-1.0.1.0 can be installed with
> cabal install, and then everything works once more.
>

Nice one. My workaround (which I'd forgotten all about) was to stick a soft
link in /usr/lib to the readline lib in /opt.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20081112/4164a810/attachment.html