-----------------------------------------------------------------------------
module InteractiveUI (
interactiveUI,
- ghciWelcomeMsg
+ ghciWelcomeMsg,
+ ghciShortWelcomeMsg
) where
#include "HsVersions.h"
"/ /_\\\\/ __ / /___| | http://www.haskell.org/ghc/\n"++
"\\____/\\/ /_/\\____/|_| Type :? for help.\n"
+ghciShortWelcomeMsg =
+ "GHCi, version " ++ cProjectVersion ++
+ ": http://www.haskell.org/ghc/ :? for help"
+
type Command = (String, String -> GHCi Bool, Bool, String -> IO [String])
cmdName (n,_,_,_) = n
import DriverPipeline ( oneShot, compileFile )
import DriverMkDepend ( doMkDependHS )
#ifdef GHCI
-import InteractiveUI ( ghciWelcomeMsg, interactiveUI )
+import InteractiveUI ( ghciWelcomeMsg, ghciShortWelcomeMsg, interactiveUI )
#endif
-- Various other random stuff that we need
let verb = verbosity dflags
-- Show the GHCi banner
# ifdef GHCI
- when (isInteractiveMode cli_mode && verb >= 1) $
- hPutStrLn stdout ghciWelcomeMsg
+ let msg = if opt_ShortGhciBanner
+ then ghciShortWelcomeMsg
+ else ghciWelcomeMsg
+ when (isInteractiveMode cli_mode && verb >= 1) $ hPutStrLn stdout msg
# endif
-- Display details of the configuration in verbose mode
-- misc opts
opt_IgnoreDotGhci,
+ opt_ShortGhciBanner,
opt_ErrorSpans,
opt_GranMacros,
opt_HiVersion,
------- GHCi -------------------------------------------------------
( "ignore-dot-ghci", PassFlag addOpt )
, ( "read-dot-ghci" , NoArg (removeOpt "-ignore-dot-ghci") )
+ , ( "short-ghci-banner", PassFlag addOpt )
+ , ( "long-ghci-banner" , NoArg (removeOpt "-short-ghci-banner") )
------- ways --------------------------------------------------------
, ( "prof" , NoArg (addWay WayProf) )
opt_IgnoreDotGhci = lookUp FSLIT("-ignore-dot-ghci")
+opt_ShortGhciBanner = lookUp FSLIT("-short-ghci-banner")
-- debugging opts
opt_PprStyle_Debug = lookUp FSLIT("-dppr-debug")
<entry>-</entry>
</row>
<row>
+ <entry><option>-short-ghci-banner</option></entry>
+ <entry>Display a one-line banner at GHCi startup</entry>
+ <entry>static</entry>
+ <entry>-</entry>
+ </row>
+ <row>
+ <entry><option>-long-ghci-banner</option></entry>
+ <entry>Display a full banner at GHCi startup</entry>
+ <entry>static</entry>
+ <entry>-</entry>
+ </row>
+ <row>
<entry><option>-fdebugging</option></entry>
<entry>Generate bytecode enabled for debugging</entry>
<entry>dynamic</entry>