On 2015-03-31 14:32, Sergei Meshveliani wrote: > Also the `top' command shows that ghc sometimes takes 98% of the > 16Gb memory despite this -M10G. The RTS options supplied to Agda are not forwarded to GHC. You can use --ghc-flag to set GHC flags: agda ... --ghc-flag=+RTS --ghc-flag=-M10G --ghc-flag=-RTS -- /NAD