[Agda] [ANNOUNCE] Agda 2.5.1 release candidate 2
Wolfram Kahl
kahl at cas.mcmaster.ca
Thu Apr 14 15:44:44 CEST 2016
On Thu, Apr 14, 2016 at 02:38:49PM +0300, Sergei Meshveliani wrote:
> I have the following questions/notes.
>
> 1. I have tested it on DoCon-A. It looks all right.
>
> 2. In Standard library, I do not find the installation instruction
> (I tried `cabal install', and this has occurred lucky).
>
> 3. I try
> agda -c $agdaLibOpt +RTS -M9G -RTS Foo.agda
Change this to:
agda -c $agdaLibOpt +RTS -M9G -RTS --ghc-flag="-rtsopts" Foo.agda
> ./Foo +RTS -M2G -RTS
>
> , and it reports "link with the -rtsopts".
Best regards,
Wolfram
More information about the Agda
mailing list