[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

mechvel at scico.botik.ru mechvel at scico.botik.ru
Mon Dec 6 19:46:38 CET 2021


On 2021-12-06 15:52, Nils Anders Danielsson wrote:
> 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


This helps. Thank you.

--
SM


More information about the Agda mailing list