{-# LANGUAGE NoImplicitPrelude #-}
module Stack.Options.GhcBuildParser where
import Options.Applicative
import Options.Applicative.Types
import Stack.Options.Utils
import Stack.Prelude
import Stack.Types.CompilerBuild
ghcBuildParser :: Bool -> Parser CompilerBuild
ghcBuildParser :: Bool -> Parser CompilerBuild
ghcBuildParser hide :: Bool
hide =
ReadM CompilerBuild
-> Mod OptionFields CompilerBuild -> Parser CompilerBuild
forall a. ReadM a -> Mod OptionFields a -> Parser a
option
ReadM CompilerBuild
readGHCBuild
(String -> Mod OptionFields CompilerBuild
forall (f :: * -> *) a. HasName f => String -> Mod f a
long "ghc-build" Mod OptionFields CompilerBuild
-> Mod OptionFields CompilerBuild -> Mod OptionFields CompilerBuild
forall a. Semigroup a => a -> a -> a
<> String -> Mod OptionFields CompilerBuild
forall (f :: * -> *) a. HasMetavar f => String -> Mod f a
metavar "BUILD" Mod OptionFields CompilerBuild
-> Mod OptionFields CompilerBuild -> Mod OptionFields CompilerBuild
forall a. Semigroup a => a -> a -> a
<>
[String] -> Mod OptionFields CompilerBuild
forall (f :: * -> *) a. HasCompleter f => [String] -> Mod f a
completeWith ["standard", "gmp4", "nopie", "tinfo6", "tinfo6-nopie", "ncurses6", "integersimple"] Mod OptionFields CompilerBuild
-> Mod OptionFields CompilerBuild -> Mod OptionFields CompilerBuild
forall a. Semigroup a => a -> a -> a
<>
String -> Mod OptionFields CompilerBuild
forall (f :: * -> *) a. String -> Mod f a
help
"Specialized GHC build, e.g. 'gmp4' or 'standard' (usually auto-detected)" Mod OptionFields CompilerBuild
-> Mod OptionFields CompilerBuild -> Mod OptionFields CompilerBuild
forall a. Semigroup a => a -> a -> a
<>
Bool -> Mod OptionFields CompilerBuild
forall (f :: * -> *) a. Bool -> Mod f a
hideMods Bool
hide
)
where
readGHCBuild :: ReadM CompilerBuild
readGHCBuild = do
String
s <- ReadM String
readerAsk
case String -> Either SomeException CompilerBuild
forall (m :: * -> *). MonadThrow m => String -> m CompilerBuild
parseCompilerBuild String
s of
Left e :: SomeException
e -> String -> ReadM CompilerBuild
forall a. String -> ReadM a
readerError (SomeException -> String
forall a. Show a => a -> String
show SomeException
e)
Right v :: CompilerBuild
v -> CompilerBuild -> ReadM CompilerBuild
forall (m :: * -> *) a. Monad m => a -> m a
return CompilerBuild
v