Skip to content
Snippets Groups Projects
Commit c71bfdff authored by Cheng Shao's avatar Cheng Shao Committed by Marge Bot
Browse files

hadrian/hie-bios: pass -j to hadrian

This commit passes -j to hadrian in the hadrian/hie-bios scripts. When
the user starts HLS in a fresh clone that has just been configured, it
takes quite a while for hie-bios to pick up the ghc flags and start
actual indexing, due to the fact that the hadrian build step defaulted
to -j1, so -j speeds things up and improve HLS user experience in GHC.
Also add -j flag to .ghcid to speed up ghcid, and sets the Windows
build root to .hie-bios which also works and unifies with other
platforms, the previous build root _hie-bios was missing from
.gitignore anyway.
parent f3de8a3c
No related branches found
No related tags found
No related merge requests found
--command sh ./hadrian/ghci --command sh -c "HADRIAN_ARGS=-j ./hadrian/ghci -j"
--reload compiler --reload compiler
--reload ghc --reload ghc
--reload includes --reload includes
......
...@@ -3,5 +3,4 @@ ...@@ -3,5 +3,4 @@
# When run, this program will output a list of arguments which are necessary to # When run, this program will output a list of arguments which are necessary to
# load the GHC library component into GHCi. The program is used by `ghcide` in # load the GHC library component into GHCi. The program is used by `ghcide` in
# order to automatically set up the correct GHC API session for a project. # order to automatically set up the correct GHC API session for a project.
TERM=dumb CABFLAGS=-v0 TOOL_OUTPUT=$HIE_BIOS_OUTPUT $PWD/hadrian/build-cabal tool:$1 -q --build-root=.hie-bios --flavour=ghc-in-ghci TERM=dumb CABFLAGS=-v0 TOOL_OUTPUT=$HIE_BIOS_OUTPUT $PWD/hadrian/build-cabal tool:$1 -q --build-root=.hie-bios --flavour=ghc-in-ghci -j
set TERM=dumb set TERM=dumb
set CABFLAGS=-v0 set CABFLAGS=-v0
set TOOL_OUTPUT=%HIE_BIOS_OUTPUT% set TOOL_OUTPUT=%HIE_BIOS_OUTPUT%
%CD%\hadrian\build-cabal.bat tool:%1 --build-root=_hie-bios --flavour=ghc-in-ghci %CD%\hadrian\build-cabal.bat tool:%1 --build-root=.hie-bios --flavour=ghc-in-ghci -j
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment