github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #460 from github/work-your-core

Browse Source 
Pass -j to script/repl's GHCi flags.
This commit is contained in:
Rob Rix 2020-01-31 16:03:41 -05:00 committed by GitHub
commit cb40eab8d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
script/ghci-flags
View File

@ -21,12 +21,17 @@ function add_autogen_includes {
echo "-I$1" echo "-I$1"
} }
cores=$(sysctl -n machdep.cpu.core_count || echo 4)
function flags { function flags {
# disable optimizations for faster loading # disable optimizations for faster loading
echo "-O0" echo "-O0"
# don’t load .ghci files (for ghcide) # don’t load .ghci files (for ghcide)
echo "-ignore-dot-ghci" echo "-ignore-dot-ghci"
# use as many jobs as there are physical cores
echo "-j$cores"
# where to put build products # where to put build products
echo "-outputdir $build_products_dir" echo "-outputdir $build_products_dir"
echo "-odir $build_products_dir" echo "-odir $build_products_dir"