{-# 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

-- | GHC build parser
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