diff options
Diffstat (limited to 'utils/ghc-in-ghci/run.sh')
-rwxr-xr-x | utils/ghc-in-ghci/run.sh | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/utils/ghc-in-ghci/run.sh b/utils/ghc-in-ghci/run.sh deleted file mode 100755 index cb0ab0777d..0000000000 --- a/utils/ghc-in-ghci/run.sh +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/sh -xe - -# Runs ghc-stage2 with GHCi settings that allow GHC to be loaded and run in the -# interpreter. Options provided on the command-line will be passed directly to -# the GHCi invocation. - -# Note that this script is intended to be run from the root of the GHC repo, -# like this: - -# ./utils/ghc-in-ghci/run.sh - -# This is substantially faster than doing an actual compile, and so can aid in -# tighter development iterations. It can be made even faster by specifying "-jN" -# for parallelism. Typically choosing an N value close to the number of logical -# CPU cores you have leads to faster loads. Here's how to specify -j: - -# ./utils/ghc-in-ghci/run.sh -j4 - -# The script will also run `:load Main`, to load GHC's main module. After that, -# running `main` will run an inner GHCi, because there is a default `:set args -# --interactive ...`. To override this, use `:set args ...` or `:main ...`. - -# If you don't want to wait for `:load Main`, since you want to load some other -# module, then you can use `Ctrl+C` to cancel the initial load. - -# Look in two common locations for a GHC installation (the results of using -# the make- and Hadrian-based build systems, respectively). -if [ -d ./inplace/lib ]; then - GHC_BIN=./inplace/bin/ghc-stage2 - _GHC_TOP_DIR=./inplace/lib -elif [ -d ./_build/stage1/lib ]; then - GHC_BIN=./_build/stage1/bin/ghc - _GHC_TOP_DIR=./_build/stage1/lib -else - echo "Could not find GHC installation" - exit 1 -fi - -exec ${GHC_BIN} \ - --interactive \ - -ghci-script ./utils/ghc-in-ghci/settings.ghci \ - -ghci-script ./utils/ghc-in-ghci/load-main.ghci \ - +RTS -A128m -RTS \ - "$@" |