diff options
| author | Xavier Denis <xldenis@gmail.com> | 2020-01-21 08:06:49 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-25 10:23:39 (GMT) |
| commit | b1a32170a1b8e7a31c2dd28eb1b02f1375ea3998 (patch) | |
| tree | 6fbc55ca05381be04bfc02cea0124fd7a7f0f884 | |
| parent | 6eb566a0cf43aefaf451f5885ca9b56686840a23 (diff) | |
| download | ghc-b1a32170a1b8e7a31c2dd28eb1b02f1375ea3998.zip ghc-b1a32170a1b8e7a31c2dd28eb1b02f1375ea3998.tar.gz ghc-b1a32170a1b8e7a31c2dd28eb1b02f1375ea3998.tar.bz2 | |
Create ghci.cabal.sh
| -rwxr-xr-x | hadrian/ghci.cabal.sh | 6 | ||||
| -rwxr-xr-x | hadrian/ghci.sh | 8 |
2 files changed, 9 insertions, 5 deletions
diff --git a/hadrian/ghci.cabal.sh b/hadrian/ghci.cabal.sh new file mode 100755 index 0000000..f31b945 --- /dev/null +++ b/hadrian/ghci.cabal.sh @@ -0,0 +1,6 @@ +#!/usr/bin/env sh + +set -e + +GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build.cabal.sh" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci "$@")" +ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m diff --git a/hadrian/ghci.sh b/hadrian/ghci.sh index f31b945..06ad47a 100755 --- a/hadrian/ghci.sh +++ b/hadrian/ghci.sh @@ -1,6 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash -set -e - -GHC_FLAGS="$GHC_FLAGS $(TERM=dumb CABFLAGS=-v0 "hadrian/build.cabal.sh" tool-args -q --build-root=.hadrian_ghci --flavour=ghc-in-ghci "$@")" -ghci $GHC_FLAGS "$@" -fno-code -fwrite-interface -hidir=.hadrian_ghci/interface -O0 ghc/Main.hs +RTS -A128m +# By default on Linux/MacOS we build Hadrian using Cabal +(. "hadrian/ghci.cabal.sh" "$@") |