[Agda] [ANNOUNCE] Agda 2.5.1 release candidate 2

[Andrés Sicard-Ramírez]

On 14 April 2016 at 06:38, Sergei Meshveliani <mechvel at botik.ru> wrote:
> 3. I try
>    agda -c $agdaLibOpt +RTS -M9G -RTS  Foo.agda
>
>    ./Foo +RTS -M2G -RTS
>
> , and it reports   "link with the -rtsopts".

Did it work before?

> Please, how precisely needs one to use  -rtsopts ?

The -rtsopts option should be used by the GHC backend when generating
the Foo executable.



-- 
Andrés