[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