[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