[Agda] problem in installing alex and darcs using macports

[Gyesik Lee]

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

But I am stuck with alex. The command 'sudo port install alex' ends
with the following error message

===================
rcis:doc leegy$ sudo port install alex
--->  Configuring alex
Error: Target org.macports.configure returned: shell command "cd
/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_alex/work/alex-2.2
&& runhaskell Setup configure --ghc --prefix=/opt/local" returned
error 1
Command output:
Setup.lhs:30:43: Not in scope: `buildVerbose'

Error: Status 1 encountered during processing.
====================

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?

Indeed, I have another problem with the installation of darcs using
macports. Please have a look at the following error message which
seems to me very similar to the one above.

====================
rcis:doc leegy$ sudo port install darcs
--->  Building darcs with target all
Error: Target org.macports.build returned: shell command " cd
"/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_darcs/work/darcs-2.1.0"
&& make all " returned error 2
Command output: test -f src/Context.hs || echo unknown | ./stringify
Context context > src/Context.hs
Rebuild dependencies ...

on the commandline:
   Warning: -optdep-f is deprecated: Use -dep-makefile instead

<no location info>:
Failing due to -Werror.

make: *** [.depend] Error 1

Error: Status 1 encountered during processing.
=====================

The two error messages look similar for me. Is it maybe a problem of
macports? But macports worked and works when I try to install other
things which are not related to agda or haskell.

Thank you very much in advance.

Gyesik