[Agda] ghc link options in MAlonzo?

Mateusz Kowalczyk fuuzetsu at fuuzetsu.co.uk
Fri Mar 21 16:26:43 CET 2014


On 21/03/14 15:16, Conor McBride wrote:
> Hi
> 
> I'm hoping to use the MAlonzo compiler to build an executable combining
> some stuff written in Agda with a litte bit of low-level stuff written
> using Haskell's foreign function interface. But I've hit a wee snag: I
> need to invoke ghc with a flag that links in an external library
> 
>   ghc -lncurses ...
> 
> but just choosing "Compile" from the menu gives me no obvious way to
> communicate that additional requirement.
> 
> 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?
> 
> Grateful for any light
> 
> Conor
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

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?

-- 
Mateusz K.


More information about the Agda mailing list