[Agda] ghc link options in MAlonzo?

[Conor McBride]

I wrote:

>> 
>> Is there a clean way to solve this problem (e.g. some way to tell
>> MAlonzo about additional ghc flags)? Or will I need to resort to
>> underhandedness?

Down below OLD MATERIAL BELOW in

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.TOC

I found

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Compiler

which got me to

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.MAlonzo

which told me I could

  agda --compile --malonzodir <DIR> --ghc-flag “<GHC FLAGS>” <FILE>.agda

from the command line, and while that didn't work,

  agda --compile --ghc-flag “-lncurses” <FILE>.agda

did work. So I should be able to get a suitable Makefile off the ground.

On 21 Mar 2014, at 15:26, Mateusz Kowalczyk <fuuzetsu at fuuzetsu.co.uk> wrote:
> 
> While I don't have an answer for you, seeing someone actually produce
> running Agda programs using MAlonzo is rather unusual (from what I can
> tell). Is your project available publicly somewhere?

It doesn't exist yet, and when it does exist, large parts of it will be
missing, because they will be somebody's homework.

Apologies

Conor