Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Dylan Yudaken
GHC
Commits
b1a32170
Commit
b1a32170
authored
Jan 21, 2020
by
xldenis
Committed by
Marge Bot
Jan 25, 2020
Browse files
Create ghci.cabal.sh
parent
6eb566a0
Changes
2
Hide whitespace changes
Inline
Side-by-side
hadrian/ghci.cabal.sh
0 → 100755
View file @
b1a32170
#!/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
hadrian/ghci.sh
View file @
b1a32170
#!/usr/bin/env sh
#!/usr/bin/env
ba
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
# By default on Linux/MacOS we build Hadrian using Cabal
(
.
"hadrian/ghci.cabal.sh"
"
$@
"
)
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment