[Agda] ghc link options in MAlonzo?

[Matteo Acerbi]

On Fri, Mar 21, 2014 at 4:16 PM, Conor McBride
<conor at strictlypositive.org> wrote:
>
> [..]
> but just choosing "Compile" from the menu gives me no obvious way to
> communicate that additional requirement.

If you are interested, you can also pass the --ghc-flag option to agda
from emacs by customizing the agda2-program-args variable: this makes
"Compile" from the menu work as well.

Best,
Matteo