[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