[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

Nils Anders Danielsson nad at cse.gu.se
Mon Dec 6 13:52:09 CET 2021


On 2021-12-05 22:48, mechvel at scico.botik.ru wrote:
> My aim is to find out whether the project can be compiled on a  8 Gb machine.
> I tried to append there
>    --ghc-flag="+RTS" --ghc-flag="-M7G"
> 
> but this is not accepted.

Try the following:

   --ghc-flag=+RTS --ghc-flag=-M7G --ghc-flag=-RTS

-- 
/NAD


More information about the Agda mailing list