diff options
author | Xavier Denis <xldenis@gmail.com> | 2020-02-13 17:52:09 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-29 05:07:50 -0500 |
commit | a999ee96a22650b59855609f84e2808b4133e9e0 (patch) | |
tree | af6a76a019dab2f9b8d6428bedcf55d95d1e2e5e /hadrian/src/Settings.hs | |
parent | 99d2de860ff82e3f626c8b3d47d355ab16d18fd1 (diff) | |
download | haskell-a999ee96a22650b59855609f84e2808b4133e9e0.tar.gz |
Rename ghci.sh and build.sh to ghci and build respectively
Convert hadrian buildscripts to unsuffixed, dashed form
final cleanups
Diffstat (limited to 'hadrian/src/Settings.hs')
-rwxr-xr-x | hadrian/src/Settings.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/hadrian/src/Settings.hs b/hadrian/src/Settings.hs index b57029a967..7c6a24af27 100755 --- a/hadrian/src/Settings.hs +++ b/hadrian/src/Settings.hs @@ -105,7 +105,7 @@ It now also offers a more "old-school" interface, in the form of @foo.bar.baz = v@ or @foo.bar.baz += v@ expressions, that one can pass on the command line that invokes hadrian: -> $ hadrian/build.sh --flavour=quickest -j "stage1.ghc-bin.ghc.link.opts += -v3" +> $ hadrian/build --flavour=quickest -j "stage1.ghc-bin.ghc.link.opts += -v3" or in a file at <build root>/hadrian.settings, where <build root> is the build root to be used for the build, which is _build by default. @@ -117,7 +117,7 @@ following contents: and issue: -> $ hadrian/build.sh +> $ hadrian/build Hadrian would pick up the settings given in _build/hadrian.settings (as well as any settings that you may additionally be passing on the command line) and @@ -254,7 +254,7 @@ data BuilderMode = BM_Ghc (Wildcard GhcMode) -- - @<ghc mode>@ is one of @c@ (building C files), @hs@ (building Haskell -- modules), @link@ (linking object files), @deps@ (finding Haskell -- dependencies with @ghc -M@) or @toolargs@ (getting necessary flags to --- make hadrian/ghci.sh work; +-- make hadrian/ghci work; -- - @<cc mode>@ is one of @c@ (building C files) or @deps@ (finding C -- dependencies); -- - locations that support a wildcard (@*@) entry are here to avoid |