[Agda] -rtsopts

[mechvel at scico.botik.ru]

People,

I need to run Foo with the memory restriction:

  > agda -c $agdaLibOpt Foo.agda
  > ./Foo +RTS -M7G -RTS

It reports
Foo: Most RTS options are disabled. Link with -rtsopts to enable them.

Then I command

  > agda -c $agdaLibOpt -rtsopts Foo.agda

It reports
   Error: Unrecognized options:
   -r (did you mean --js ?)
   ...

Can you, please, explain of how to use this  -rtsopts
(in Agda 2.6.2) ?

Thanks,

------
Sergei