blob: e69dbaad7511c94f7dc6b8ea521d2358037d882d (
plain)
1
2
3
4
|
Warning: -rtsopts and -with-rtsopts have no effect with -shared.
Call hs_init_ghc() from your main() function to set these options.
Warning: -rtsopts and -with-rtsopts have no effect with -shared.
Call hs_init_ghc() from your main() function to set these options.
|