[Agda] problem in installing alex and darcs using macports
Gyesik Lee
leegy at lix.polytechnique.fr
Fri Nov 14 18:12:26 CET 2008
Hi Ulf,
I didn't know what cabal is though I have installed it.
It is like macports or fink.
Sorry for my ignorance.
With cabal everything works fine.
Except one thing.
I don't know exactly what to install for the following:
"A recent version of the zlib library (the development files). "
(I copied it from the requirements list.)
Gyesik
On Sat, Nov 15, 2008 at 1:35 AM, Ulf Norell <ulfn at chalmers.se> wrote:
>
>
> On Fri, Nov 14, 2008 at 5:24 PM, Gyesik Lee <leegy at lix.polytechnique.fr>
> wrote:
>>
>> Hello,
>>
>> I am a newbie in Agda. I have the intention to install Agda on my
>> Macbook Pro (leopard 10.5.5). First following Wiki homepage, I am
>> trying to install the requirements and have succeeded in the
>> installation of ghc 6.10.1 and Cabal (library 1.6.0.1, install tool
>> 0.6.0) (using macports.)
>>
>> I have no idea what it means. (I'm not so familiar with linux
>> commands...) Could someone tell me how to use macports correctly? Or
>> are there a different way?
>
> I mainly use Cabal[1] to install Haskell stuff. I have no idea what the
> error messages mean.
>
> / Ulf
>
> [1] http://www.haskell.org/cabal/
>
>
More information about the Agda
mailing list