-with-rtsopts, ghc_rts_opts not honoured
using -with-rtsopts or ghc_rts_opts to build a program, the program subsequently aborts with "Most RTS options are disabled. Link with -rtsopts to enable them." I don't have the environment variable GHCRTS.
$ echo 'main = print (foldl1 (+) [1..100000])' > main.hs $ ghc --make -with-rtsopts='-K1m' main.hs $ ./main main: Most RTS options are disabled. Link with -rtsopts to enable them.
$ rm main main.hi main.o $ echo 'char *ghc_rts_opts = "-K1m";' > ro.c $ ghc --make main.hs ro.c $ ./main main: Most RTS options are disabled. Link with -rtsopts to enable them.
I obtained ghc from the generic binary tarball for linux x86 32-bit.
This is present in both 7.0.2 and 7.0.3. I don't know about 7.0.1.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information