git.iko.soy/ghcide
on master help sign in
Fix -with-rtsopts flags (#333)

Before this change: [nix-shell:~/scratch/ghcide]$ /home/pepe/scratch/ghcide/dist-newstyle/build/x86_64-linux/ghc-8.8.1/ghcide-0.0.6/x/ghcide/build/ghcide/ghcide +RTS --info [("GHC RTS", "YES") ,("GHC version", "8.8.1") ,("RTS way", "rts_thr_p") ,("Build platform", "x86_64-unknown-linux") ,("Build architecture", "x86_64") ,("Build OS", "linux") ,("Build vendor", "unknown") ,("Host platform", "x86_64-unknown-linux") ,("Host architecture", "x86_64") ,("Host OS", "linux") ,("Host vendor", "unknown") ,("Target platform", "x86_64-unknown-linux") ,("Target architecture", "x86_64") ,("Target OS", "linux") ,("Target vendor", "unknown") ,("Word size", "64") ,("Compiler unregisterised", "NO") ,("Tables next to code", "YES") ,("Flag -with-rtsopts", "-A128M") ] After this change: [nix-shell:~/scratch/ghcide]$ /home/pepe/scratch/ghcide/dist-newstyle/build/x86_64-linux/ghc-8.8.1/ghcide-0.0.6/x/ghcide/build/ghcide/ghcide +RTS --info [("GHC RTS", "YES") ,("GHC version", "8.8.1") ,("RTS way", "rts_thr") ,("Build platform", "x86_64-unknown-linux") ,("Build architecture", "x86_64") ,("Build OS", "linux") ,("Build vendor", "unknown") ,("Host platform", "x86_64-unknown-linux") ,("Host architecture", "x86_64") ,("Host OS", "linux") ,("Host vendor", "unknown") ,("Target platform", "x86_64-unknown-linux") ,("Target architecture", "x86_64") ,("Target OS", "linux") ,("Target vendor", "unknown") ,("Word size", "64") ,("Compiler unregisterised", "NO") ,("Tables next to code", "YES") ,("Flag -with-rtsopts", "-I0 -qg -A128M") ]

commit703bb82a1d3b690c7ef2b8cb7d28c0ac5171dd0c authorPepe Iborra <pepeiborra@gmail.com> dateSun 19 Jan 2020, 16:06 (7 years ago) parent1929fde
1 file changed+1−3
compare with master
unifiedsplit
ghcide.cabal+1−3
ghcide.cabal+1−3
@@ -158,11 +158,9 @@ executable ghcide
158158 -- allow user RTS overrides
159159 -rtsopts
160160 -- disable idle GC
161− -with-rtsopts=-I0
162161 -- disable parallel GC
163− -with-rtsopts=-qg
164162 -- increase nursery size
165− -with-rtsopts=-A128M
163+ "-with-rtsopts=-I0 -qg -A128M"
166164 main-is: Main.hs
167165 build-depends:
168166 hslogger,