{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}
{-# OPTIONS_GHC -fno-warn-deprecations #-}
module Distribution.Simple (
module Distribution.Package,
module Distribution.Version,
module Distribution.License,
module Distribution.Simple.Compiler,
module Language.Haskell.Extension,
defaultMain, defaultMainNoRead, defaultMainArgs,
UserHooks(..), Args,
defaultMainWithHooks, defaultMainWithHooksArgs,
defaultMainWithHooksNoRead, defaultMainWithHooksNoReadArgs,
simpleUserHooks,
autoconfUserHooks,
defaultUserHooks, emptyUserHooks,
defaultHookedPackageDesc
) where
import Prelude ()
import Control.Exception (try)
import Distribution.Compat.Prelude
import Distribution.Simple.Compiler hiding (Flag)
import Distribution.Simple.UserHooks
import Distribution.Package
import Distribution.PackageDescription hiding (Flag)
import Distribution.PackageDescription.Configuration
import Distribution.Simple.Program
import Distribution.Simple.Program.Db
import Distribution.Simple.PreProcess
import Distribution.Simple.Setup
import Distribution.Simple.Command
import Distribution.Simple.Build
import Distribution.Simple.SrcDist
import Distribution.Simple.Register
import Distribution.Simple.Configure
import Distribution.Simple.LocalBuildInfo
import Distribution.Simple.Bench
import Distribution.Simple.BuildPaths
import Distribution.Simple.Test
import Distribution.Simple.Install
import Distribution.Simple.Haddock
import Distribution.Simple.Doctest
import Distribution.Simple.Utils
import Distribution.Utils.NubList
import Distribution.Verbosity
import Language.Haskell.Extension
import Distribution.Version
import Distribution.License
import Distribution.Pretty
import Distribution.System (buildPlatform)
import System.Environment (getArgs, getProgName)
import System.Directory (removeFile, doesFileExist
,doesDirectoryExist, removeDirectoryRecursive)
import System.Exit (exitWith,ExitCode(..))
import System.FilePath (searchPathSeparator, takeDirectory, (</>), splitDirectories, dropDrive)
import Distribution.Compat.Directory (makeAbsolute)
import Distribution.Compat.Environment (getEnvironment)
import Distribution.Compat.GetShortPathName (getShortPathName)
import Data.List (unionBy, (\\))
import Distribution.PackageDescription.Parsec
defaultMain :: IO ()
defaultMain :: IO ()
defaultMain = IO [String]
getArgs IO [String] -> ([String] -> IO ()) -> IO ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= UserHooks -> [String] -> IO ()
defaultMainHelper UserHooks
simpleUserHooks
defaultMainArgs :: [String] -> IO ()
defaultMainArgs :: [String] -> IO ()
defaultMainArgs = UserHooks -> [String] -> IO ()
defaultMainHelper UserHooks
simpleUserHooks
defaultMainWithHooks :: UserHooks -> IO ()
defaultMainWithHooks :: UserHooks -> IO ()
defaultMainWithHooks hooks :: UserHooks
hooks = IO [String]
getArgs IO [String] -> ([String] -> IO ()) -> IO ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= UserHooks -> [String] -> IO ()
defaultMainHelper UserHooks
hooks
defaultMainWithHooksArgs :: UserHooks -> [String] -> IO ()
defaultMainWithHooksArgs :: UserHooks -> [String] -> IO ()
defaultMainWithHooksArgs = UserHooks -> [String] -> IO ()
UserHooks -> [String] -> IO ()
defaultMainHelper
defaultMainNoRead :: GenericPackageDescription -> IO ()
defaultMainNoRead :: GenericPackageDescription -> IO ()
defaultMainNoRead = UserHooks -> GenericPackageDescription -> IO ()
defaultMainWithHooksNoRead UserHooks
simpleUserHooks
defaultMainWithHooksNoRead :: UserHooks -> GenericPackageDescription -> IO ()
defaultMainWithHooksNoRead :: UserHooks -> GenericPackageDescription -> IO ()
defaultMainWithHooksNoRead hooks :: UserHooks
hooks pkg_descr :: GenericPackageDescription
pkg_descr =
IO [String]
getArgs IO [String] -> ([String] -> IO ()) -> IO ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>=
UserHooks -> [String] -> IO ()
defaultMainHelper UserHooks
hooks { readDesc :: IO (Maybe GenericPackageDescription)
readDesc = Maybe GenericPackageDescription
-> IO (Maybe GenericPackageDescription)
forall (m :: * -> *) a. Monad m => a -> m a
return (GenericPackageDescription -> Maybe GenericPackageDescription
forall a. a -> Maybe a
Just GenericPackageDescription
pkg_descr) }
defaultMainWithHooksNoReadArgs :: UserHooks -> GenericPackageDescription -> [String] -> IO ()
defaultMainWithHooksNoReadArgs :: UserHooks -> GenericPackageDescription -> [String] -> IO ()
defaultMainWithHooksNoReadArgs hooks :: UserHooks
hooks pkg_descr :: GenericPackageDescription
pkg_descr =
UserHooks -> [String] -> IO ()
defaultMainHelper UserHooks
hooks { readDesc :: IO (Maybe GenericPackageDescription)
readDesc = Maybe GenericPackageDescription
-> IO (Maybe GenericPackageDescription)
forall (m :: * -> *) a. Monad m => a -> m a
return (GenericPackageDescription -> Maybe GenericPackageDescription
forall a. a -> Maybe a
Just GenericPackageDescription
pkg_descr) }
defaultMainHelper :: UserHooks -> Args -> IO ()
defaultMainHelper :: UserHooks -> [String] -> IO ()
defaultMainHelper hooks :: UserHooks
hooks args :: [String]
args = IO () -> IO ()
forall a. IO a -> IO a
topHandler (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
case CommandUI GlobalFlags
-> [Command (IO ())]
-> [String]
-> CommandParse (GlobalFlags, CommandParse (IO ()))
forall a action.
CommandUI a
-> [Command action]
-> [String]
-> CommandParse (a, CommandParse action)
commandsRun ([Command (IO ())] -> CommandUI GlobalFlags
forall action. [Command action] -> CommandUI GlobalFlags
globalCommand [Command (IO ())]
commands) [Command (IO ())]
commands [String]
args of
CommandHelp help :: String -> String
help -> (String -> String) -> IO ()
printHelp String -> String
help
CommandList opts :: [String]
opts -> [String] -> IO ()
printOptionsList [String]
opts
CommandErrors errs :: [String]
errs -> [String] -> IO ()
forall b. [String] -> IO b
printErrors [String]
errs
CommandReadyToGo (flags :: GlobalFlags
flags, commandParse :: CommandParse (IO ())
commandParse) ->
case CommandParse (IO ())
commandParse of
_ | Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (GlobalFlags -> Flag Bool
globalVersion GlobalFlags
flags) -> IO ()
printVersion
| Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (GlobalFlags -> Flag Bool
globalNumericVersion GlobalFlags
flags) -> IO ()
printNumericVersion
CommandHelp help :: String -> String
help -> (String -> String) -> IO ()
printHelp String -> String
help
CommandList opts :: [String]
opts -> [String] -> IO ()
printOptionsList [String]
opts
CommandErrors errs :: [String]
errs -> [String] -> IO ()
forall b. [String] -> IO b
printErrors [String]
errs
CommandReadyToGo action :: IO ()
action -> IO ()
action
where
printHelp :: (String -> String) -> IO ()
printHelp help :: String -> String
help = IO String
getProgName IO String -> (String -> IO ()) -> IO ()
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= String -> IO ()
putStr (String -> IO ()) -> (String -> String) -> String -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> String
help
printOptionsList :: [String] -> IO ()
printOptionsList = String -> IO ()
putStr (String -> IO ()) -> ([String] -> String) -> [String] -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
unlines
printErrors :: [String] -> IO b
printErrors errs :: [String]
errs = do
String -> IO ()
putStr (String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate "\n" [String]
errs)
ExitCode -> IO b
forall a. ExitCode -> IO a
exitWith (Int -> ExitCode
ExitFailure 1)
printNumericVersion :: IO ()
printNumericVersion = String -> IO ()
putStrLn (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ Version -> String
forall a. Pretty a => a -> String
prettyShow Version
cabalVersion
printVersion :: IO ()
printVersion = String -> IO ()
putStrLn (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ "Cabal library version "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ Version -> String
forall a. Pretty a => a -> String
prettyShow Version
cabalVersion
progs :: ProgramDb
progs = [Program] -> ProgramDb -> ProgramDb
addKnownPrograms (UserHooks -> [Program]
hookedPrograms UserHooks
hooks) ProgramDb
defaultProgramDb
commands :: [Command (IO ())]
commands =
[ProgramDb -> CommandUI ConfigFlags
configureCommand ProgramDb
progs CommandUI ConfigFlags
-> (ConfigFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction`
\fs :: ConfigFlags
fs as :: [String]
as -> UserHooks -> ConfigFlags -> [String] -> IO LocalBuildInfo
configureAction UserHooks
hooks ConfigFlags
fs [String]
as IO LocalBuildInfo -> IO () -> IO ()
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> () -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
,ProgramDb -> CommandUI BuildFlags
buildCommand ProgramDb
progs CommandUI BuildFlags
-> (BuildFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> BuildFlags -> [String] -> IO ()
buildAction UserHooks
hooks
,ProgramDb -> CommandUI ReplFlags
replCommand ProgramDb
progs CommandUI ReplFlags
-> (ReplFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> ReplFlags -> [String] -> IO ()
replAction UserHooks
hooks
,CommandUI InstallFlags
installCommand CommandUI InstallFlags
-> (InstallFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> InstallFlags -> [String] -> IO ()
installAction UserHooks
hooks
,CommandUI CopyFlags
copyCommand CommandUI CopyFlags
-> (CopyFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> CopyFlags -> [String] -> IO ()
copyAction UserHooks
hooks
,CommandUI DoctestFlags
doctestCommand CommandUI DoctestFlags
-> (DoctestFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> DoctestFlags -> [String] -> IO ()
doctestAction UserHooks
hooks
,CommandUI HaddockFlags
haddockCommand CommandUI HaddockFlags
-> (HaddockFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> HaddockFlags -> [String] -> IO ()
haddockAction UserHooks
hooks
,CommandUI CleanFlags
cleanCommand CommandUI CleanFlags
-> (CleanFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> CleanFlags -> [String] -> IO ()
cleanAction UserHooks
hooks
,CommandUI SDistFlags
sdistCommand CommandUI SDistFlags
-> (SDistFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> SDistFlags -> [String] -> IO ()
sdistAction UserHooks
hooks
,CommandUI HscolourFlags
hscolourCommand CommandUI HscolourFlags
-> (HscolourFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> HscolourFlags -> [String] -> IO ()
hscolourAction UserHooks
hooks
,CommandUI RegisterFlags
registerCommand CommandUI RegisterFlags
-> (RegisterFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> RegisterFlags -> [String] -> IO ()
registerAction UserHooks
hooks
,CommandUI RegisterFlags
unregisterCommand CommandUI RegisterFlags
-> (RegisterFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> RegisterFlags -> [String] -> IO ()
unregisterAction UserHooks
hooks
,CommandUI TestFlags
testCommand CommandUI TestFlags
-> (TestFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> TestFlags -> [String] -> IO ()
testAction UserHooks
hooks
,CommandUI BenchmarkFlags
benchmarkCommand CommandUI BenchmarkFlags
-> (BenchmarkFlags -> [String] -> IO ()) -> Command (IO ())
forall flags action.
CommandUI flags -> (flags -> [String] -> action) -> Command action
`commandAddAction` UserHooks -> BenchmarkFlags -> [String] -> IO ()
benchAction UserHooks
hooks
]
allSuffixHandlers :: UserHooks
-> [PPSuffixHandler]
allSuffixHandlers :: UserHooks -> [PPSuffixHandler]
allSuffixHandlers hooks :: UserHooks
hooks
= [PPSuffixHandler] -> [PPSuffixHandler] -> [PPSuffixHandler]
overridesPP (UserHooks -> [PPSuffixHandler]
hookedPreProcessors UserHooks
hooks) [PPSuffixHandler]
knownSuffixHandlers
where
overridesPP :: [PPSuffixHandler] -> [PPSuffixHandler] -> [PPSuffixHandler]
overridesPP :: [PPSuffixHandler] -> [PPSuffixHandler] -> [PPSuffixHandler]
overridesPP = (PPSuffixHandler -> PPSuffixHandler -> Bool)
-> [PPSuffixHandler] -> [PPSuffixHandler] -> [PPSuffixHandler]
forall a. (a -> a -> Bool) -> [a] -> [a] -> [a]
unionBy (\x :: PPSuffixHandler
x y :: PPSuffixHandler
y -> PPSuffixHandler -> String
forall a b. (a, b) -> a
fst PPSuffixHandler
x String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== PPSuffixHandler -> String
forall a b. (a, b) -> a
fst PPSuffixHandler
y)
configureAction :: UserHooks -> ConfigFlags -> Args -> IO LocalBuildInfo
configureAction :: UserHooks -> ConfigFlags -> [String] -> IO LocalBuildInfo
configureAction hooks :: UserHooks
hooks flags :: ConfigFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (ConfigFlags -> Flag String
configDistPref ConfigFlags
flags)
let flags' :: ConfigFlags
flags' = ConfigFlags
flags { configDistPref :: Flag String
configDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, configArgs :: [String]
configArgs = [String]
args }
HookedBuildInfo
pbi <- UserHooks -> [String] -> ConfigFlags -> IO HookedBuildInfo
preConf UserHooks
hooks [String]
args ConfigFlags
flags'
(mb_pd_file :: Maybe String
mb_pd_file, pkg_descr0 :: GenericPackageDescription
pkg_descr0) <- UserHooks
-> Verbosity
-> Maybe String
-> IO (Maybe String, GenericPackageDescription)
confPkgDescr UserHooks
hooks Verbosity
verbosity
(Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag String
configCabalFilePath ConfigFlags
flags))
let epkg_descr :: (GenericPackageDescription, HookedBuildInfo)
epkg_descr = (GenericPackageDescription
pkg_descr0, HookedBuildInfo
pbi)
LocalBuildInfo
localbuildinfo0 <- UserHooks
-> (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags
-> IO LocalBuildInfo
confHook UserHooks
hooks (GenericPackageDescription, HookedBuildInfo)
epkg_descr ConfigFlags
flags'
let localbuildinfo :: LocalBuildInfo
localbuildinfo = LocalBuildInfo
localbuildinfo0 {
pkgDescrFile :: Maybe String
pkgDescrFile = Maybe String
mb_pd_file,
extraConfigArgs :: [String]
extraConfigArgs = [String]
args
}
String -> LocalBuildInfo -> IO ()
writePersistBuildConfig String
distPref LocalBuildInfo
localbuildinfo
let pkg_descr :: PackageDescription
pkg_descr = LocalBuildInfo -> PackageDescription
localPkgDescr LocalBuildInfo
localbuildinfo
UserHooks
-> [String]
-> ConfigFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postConf UserHooks
hooks [String]
args ConfigFlags
flags' PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo
LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
localbuildinfo
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
flags)
confPkgDescr :: UserHooks -> Verbosity -> Maybe FilePath
-> IO (Maybe FilePath, GenericPackageDescription)
confPkgDescr :: UserHooks
-> Verbosity
-> Maybe String
-> IO (Maybe String, GenericPackageDescription)
confPkgDescr hooks :: UserHooks
hooks verbosity :: Verbosity
verbosity mb_path :: Maybe String
mb_path = do
Maybe GenericPackageDescription
mdescr <- UserHooks -> IO (Maybe GenericPackageDescription)
readDesc UserHooks
hooks
case Maybe GenericPackageDescription
mdescr of
Just descr :: GenericPackageDescription
descr -> (Maybe String, GenericPackageDescription)
-> IO (Maybe String, GenericPackageDescription)
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe String
forall a. Maybe a
Nothing, GenericPackageDescription
descr)
Nothing -> do
String
pdfile <- case Maybe String
mb_path of
Nothing -> Verbosity -> IO String
defaultPackageDesc Verbosity
verbosity
Just path :: String
path -> String -> IO String
forall (m :: * -> *) a. Monad m => a -> m a
return String
path
Verbosity -> String -> IO ()
info Verbosity
verbosity "Using Parsec parser"
GenericPackageDescription
descr <- Verbosity -> String -> IO GenericPackageDescription
readGenericPackageDescription Verbosity
verbosity String
pdfile
(Maybe String, GenericPackageDescription)
-> IO (Maybe String, GenericPackageDescription)
forall (m :: * -> *) a. Monad m => a -> m a
return (String -> Maybe String
forall a. a -> Maybe a
Just String
pdfile, GenericPackageDescription
descr)
buildAction :: UserHooks -> BuildFlags -> Args -> IO ()
buildAction :: UserHooks -> BuildFlags -> [String] -> IO ()
buildAction hooks :: UserHooks
hooks flags :: BuildFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (BuildFlags -> Flag String
buildDistPref BuildFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ BuildFlags -> Flag Verbosity
buildVerbosity BuildFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: BuildFlags
flags' = BuildFlags
flags { buildDistPref :: Flag String
buildDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, buildCabalFilePath :: Flag String
buildCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
ProgramDb
progs <- Verbosity
-> [(String, String)]
-> [(String, [String])]
-> ProgramDb
-> IO ProgramDb
reconfigurePrograms Verbosity
verbosity
(BuildFlags -> [(String, String)]
buildProgramPaths BuildFlags
flags')
(BuildFlags -> [(String, [String])]
buildProgramArgs BuildFlags
flags')
(LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi)
(UserHooks -> [String] -> BuildFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BuildFlags
-> IO ())
-> (UserHooks
-> [String]
-> BuildFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> BuildFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> BuildFlags -> IO HookedBuildInfo
preBuild UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BuildFlags
-> IO ()
buildHook UserHooks
-> [String]
-> BuildFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postBuild
(LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
lbi { withPrograms :: ProgramDb
withPrograms = ProgramDb
progs })
UserHooks
hooks BuildFlags
flags' { buildArgs :: [String]
buildArgs = [String]
args } [String]
args
replAction :: UserHooks -> ReplFlags -> Args -> IO ()
replAction :: UserHooks -> ReplFlags -> [String] -> IO ()
replAction hooks :: UserHooks
hooks flags :: ReplFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (ReplFlags -> Flag String
replDistPref ReplFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ ReplFlags -> Flag Verbosity
replVerbosity ReplFlags
flags
flags' :: ReplFlags
flags' = ReplFlags
flags { replDistPref :: Flag String
replDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref }
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
ProgramDb
progs <- Verbosity
-> [(String, String)]
-> [(String, [String])]
-> ProgramDb
-> IO ProgramDb
reconfigurePrograms Verbosity
verbosity
(ReplFlags -> [(String, String)]
replProgramPaths ReplFlags
flags')
(ReplFlags -> [(String, [String])]
replProgramArgs ReplFlags
flags')
(LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi)
HookedBuildInfo
pbi <- UserHooks -> [String] -> ReplFlags -> IO HookedBuildInfo
preRepl UserHooks
hooks [String]
args ReplFlags
flags'
let pkg_descr0 :: PackageDescription
pkg_descr0 = LocalBuildInfo -> PackageDescription
localPkgDescr LocalBuildInfo
lbi
PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo PackageDescription
pkg_descr0 HookedBuildInfo
pbi
let pkg_descr :: PackageDescription
pkg_descr = HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr0
lbi' :: LocalBuildInfo
lbi' = LocalBuildInfo
lbi { withPrograms :: ProgramDb
withPrograms = ProgramDb
progs
, localPkgDescr :: PackageDescription
localPkgDescr = PackageDescription
pkg_descr }
UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> ReplFlags
-> [String]
-> IO ()
replHook UserHooks
hooks PackageDescription
pkg_descr LocalBuildInfo
lbi' UserHooks
hooks ReplFlags
flags' [String]
args
UserHooks
-> [String]
-> ReplFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postRepl UserHooks
hooks [String]
args ReplFlags
flags' PackageDescription
pkg_descr LocalBuildInfo
lbi'
hscolourAction :: UserHooks -> HscolourFlags -> Args -> IO ()
hscolourAction :: UserHooks -> HscolourFlags -> [String] -> IO ()
hscolourAction hooks :: UserHooks
hooks flags :: HscolourFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (HscolourFlags -> Flag String
hscolourDistPref HscolourFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ HscolourFlags -> Flag Verbosity
hscolourVerbosity HscolourFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: HscolourFlags
flags' = HscolourFlags
flags { hscolourDistPref :: Flag String
hscolourDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, hscolourCabalFilePath :: Flag String
hscolourCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
(UserHooks -> [String] -> HscolourFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> HscolourFlags
-> IO ())
-> (UserHooks
-> [String]
-> HscolourFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> HscolourFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> HscolourFlags -> IO HookedBuildInfo
preHscolour UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> HscolourFlags
-> IO ()
hscolourHook UserHooks
-> [String]
-> HscolourFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postHscolour
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks HscolourFlags
flags' [String]
args
doctestAction :: UserHooks -> DoctestFlags -> Args -> IO ()
doctestAction :: UserHooks -> DoctestFlags -> [String] -> IO ()
doctestAction hooks :: UserHooks
hooks flags :: DoctestFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (DoctestFlags -> Flag String
doctestDistPref DoctestFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ DoctestFlags -> Flag Verbosity
doctestVerbosity DoctestFlags
flags
flags' :: DoctestFlags
flags' = DoctestFlags
flags { doctestDistPref :: Flag String
doctestDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref }
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
ProgramDb
progs <- Verbosity
-> [(String, String)]
-> [(String, [String])]
-> ProgramDb
-> IO ProgramDb
reconfigurePrograms Verbosity
verbosity
(DoctestFlags -> [(String, String)]
doctestProgramPaths DoctestFlags
flags')
(DoctestFlags -> [(String, [String])]
doctestProgramArgs DoctestFlags
flags')
(LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi)
(UserHooks -> [String] -> DoctestFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> DoctestFlags
-> IO ())
-> (UserHooks
-> [String]
-> DoctestFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> DoctestFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> DoctestFlags -> IO HookedBuildInfo
preDoctest UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> DoctestFlags
-> IO ()
doctestHook UserHooks
-> [String]
-> DoctestFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postDoctest
(LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
lbi { withPrograms :: ProgramDb
withPrograms = ProgramDb
progs })
UserHooks
hooks DoctestFlags
flags' [String]
args
haddockAction :: UserHooks -> HaddockFlags -> Args -> IO ()
haddockAction :: UserHooks -> HaddockFlags -> [String] -> IO ()
haddockAction hooks :: UserHooks
hooks flags :: HaddockFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (HaddockFlags -> Flag String
haddockDistPref HaddockFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ HaddockFlags -> Flag Verbosity
haddockVerbosity HaddockFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: HaddockFlags
flags' = HaddockFlags
flags { haddockDistPref :: Flag String
haddockDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, haddockCabalFilePath :: Flag String
haddockCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
ProgramDb
progs <- Verbosity
-> [(String, String)]
-> [(String, [String])]
-> ProgramDb
-> IO ProgramDb
reconfigurePrograms Verbosity
verbosity
(HaddockFlags -> [(String, String)]
haddockProgramPaths HaddockFlags
flags')
(HaddockFlags -> [(String, [String])]
haddockProgramArgs HaddockFlags
flags')
(LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi)
(UserHooks -> [String] -> HaddockFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> HaddockFlags
-> IO ())
-> (UserHooks
-> [String]
-> HaddockFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> HaddockFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> HaddockFlags -> IO HookedBuildInfo
preHaddock UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> HaddockFlags
-> IO ()
haddockHook UserHooks
-> [String]
-> HaddockFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postHaddock
(LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
lbi { withPrograms :: ProgramDb
withPrograms = ProgramDb
progs })
UserHooks
hooks HaddockFlags
flags' { haddockArgs :: [String]
haddockArgs = [String]
args } [String]
args
cleanAction :: UserHooks -> CleanFlags -> Args -> IO ()
cleanAction :: UserHooks -> CleanFlags -> [String] -> IO ()
cleanAction hooks :: UserHooks
hooks flags :: CleanFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (CleanFlags -> Flag String
cleanDistPref CleanFlags
flags)
Either ConfigStateFileError LocalBuildInfo
elbi <- UserHooks
-> Verbosity
-> String
-> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: CleanFlags
flags' = CleanFlags
flags { cleanDistPref :: Flag String
cleanDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, cleanCabalFilePath :: Flag String
cleanCabalFilePath = case Either ConfigStateFileError LocalBuildInfo
elbi of
Left _ -> Flag String
forall a. Monoid a => a
mempty
Right lbi :: LocalBuildInfo
lbi -> Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
HookedBuildInfo
pbi <- UserHooks -> [String] -> CleanFlags -> IO HookedBuildInfo
preClean UserHooks
hooks [String]
args CleanFlags
flags'
(_, ppd :: GenericPackageDescription
ppd) <- UserHooks
-> Verbosity
-> Maybe String
-> IO (Maybe String, GenericPackageDescription)
confPkgDescr UserHooks
hooks Verbosity
verbosity Maybe String
forall a. Maybe a
Nothing
let pkg_descr0 :: PackageDescription
pkg_descr0 = GenericPackageDescription -> PackageDescription
flattenPackageDescription GenericPackageDescription
ppd
let pkg_descr :: PackageDescription
pkg_descr = HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr0
UserHooks
-> PackageDescription -> () -> UserHooks -> CleanFlags -> IO ()
cleanHook UserHooks
hooks PackageDescription
pkg_descr () UserHooks
hooks CleanFlags
flags'
UserHooks
-> [String] -> CleanFlags -> PackageDescription -> () -> IO ()
postClean UserHooks
hooks [String]
args CleanFlags
flags' PackageDescription
pkg_descr ()
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (CleanFlags -> Flag Verbosity
cleanVerbosity CleanFlags
flags)
copyAction :: UserHooks -> CopyFlags -> Args -> IO ()
copyAction :: UserHooks -> CopyFlags -> [String] -> IO ()
copyAction hooks :: UserHooks
hooks flags :: CopyFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (CopyFlags -> Flag String
copyDistPref CopyFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ CopyFlags -> Flag Verbosity
copyVerbosity CopyFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: CopyFlags
flags' = CopyFlags
flags { copyDistPref :: Flag String
copyDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, copyCabalFilePath :: Flag String
copyCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
(UserHooks -> [String] -> CopyFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> CopyFlags
-> IO ())
-> (UserHooks
-> [String]
-> CopyFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> CopyFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> CopyFlags -> IO HookedBuildInfo
preCopy UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> CopyFlags
-> IO ()
copyHook UserHooks
-> [String]
-> CopyFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postCopy
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks CopyFlags
flags' { copyArgs :: [String]
copyArgs = [String]
args } [String]
args
installAction :: UserHooks -> InstallFlags -> Args -> IO ()
installAction :: UserHooks -> InstallFlags -> [String] -> IO ()
installAction hooks :: UserHooks
hooks flags :: InstallFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (InstallFlags -> Flag String
installDistPref InstallFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ InstallFlags -> Flag Verbosity
installVerbosity InstallFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: InstallFlags
flags' = InstallFlags
flags { installDistPref :: Flag String
installDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, installCabalFilePath :: Flag String
installCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
(UserHooks -> [String] -> InstallFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> InstallFlags
-> IO ())
-> (UserHooks
-> [String]
-> InstallFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> InstallFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> InstallFlags -> IO HookedBuildInfo
preInst UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> InstallFlags
-> IO ()
instHook UserHooks
-> [String]
-> InstallFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postInst
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks InstallFlags
flags' [String]
args
sdistAction :: UserHooks -> SDistFlags -> Args -> IO ()
sdistAction :: UserHooks -> SDistFlags -> [String] -> IO ()
sdistAction hooks :: UserHooks
hooks flags :: SDistFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (SDistFlags -> Flag String
sDistDistPref SDistFlags
flags)
let flags' :: SDistFlags
flags' = SDistFlags
flags { sDistDistPref :: Flag String
sDistDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref }
HookedBuildInfo
pbi <- UserHooks -> [String] -> SDistFlags -> IO HookedBuildInfo
preSDist UserHooks
hooks [String]
args SDistFlags
flags'
Maybe LocalBuildInfo
mlbi <- String -> IO (Maybe LocalBuildInfo)
maybeGetPersistBuildConfig String
distPref
(_, ppd :: GenericPackageDescription
ppd) <- UserHooks
-> Verbosity
-> Maybe String
-> IO (Maybe String, GenericPackageDescription)
confPkgDescr UserHooks
hooks Verbosity
verbosity Maybe String
forall a. Maybe a
Nothing
let pkg_descr0 :: PackageDescription
pkg_descr0 = GenericPackageDescription -> PackageDescription
flattenPackageDescription GenericPackageDescription
ppd
PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo PackageDescription
pkg_descr0 HookedBuildInfo
pbi
let pkg_descr :: PackageDescription
pkg_descr = HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr0
mlbi' :: Maybe LocalBuildInfo
mlbi' = (LocalBuildInfo -> LocalBuildInfo)
-> Maybe LocalBuildInfo -> Maybe LocalBuildInfo
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (\lbi :: LocalBuildInfo
lbi -> LocalBuildInfo
lbi { localPkgDescr :: PackageDescription
localPkgDescr = PackageDescription
pkg_descr }) Maybe LocalBuildInfo
mlbi
UserHooks
-> PackageDescription
-> Maybe LocalBuildInfo
-> UserHooks
-> SDistFlags
-> IO ()
sDistHook UserHooks
hooks PackageDescription
pkg_descr Maybe LocalBuildInfo
mlbi' UserHooks
hooks SDistFlags
flags'
UserHooks
-> [String]
-> SDistFlags
-> PackageDescription
-> Maybe LocalBuildInfo
-> IO ()
postSDist UserHooks
hooks [String]
args SDistFlags
flags' PackageDescription
pkg_descr Maybe LocalBuildInfo
mlbi'
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (SDistFlags -> Flag Verbosity
sDistVerbosity SDistFlags
flags)
testAction :: UserHooks -> TestFlags -> Args -> IO ()
testAction :: UserHooks -> TestFlags -> [String] -> IO ()
testAction hooks :: UserHooks
hooks flags :: TestFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (TestFlags -> Flag String
testDistPref TestFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ TestFlags -> Flag Verbosity
testVerbosity TestFlags
flags
flags' :: TestFlags
flags' = TestFlags
flags { testDistPref :: Flag String
testDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref }
LocalBuildInfo
localBuildInfo <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let pkg_descr :: PackageDescription
pkg_descr = LocalBuildInfo -> PackageDescription
localPkgDescr LocalBuildInfo
localBuildInfo
UserHooks
-> [String]
-> Bool
-> PackageDescription
-> LocalBuildInfo
-> IO ()
runTests UserHooks
hooks [String]
args Bool
False PackageDescription
pkg_descr LocalBuildInfo
localBuildInfo
(UserHooks -> [String] -> TestFlags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> TestFlags
-> IO ())
-> (UserHooks
-> [String]
-> TestFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> TestFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedActionWithArgs UserHooks -> [String] -> TestFlags -> IO HookedBuildInfo
preTest UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> TestFlags
-> IO ()
testHook UserHooks
-> [String]
-> TestFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postTest
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks TestFlags
flags' [String]
args
benchAction :: UserHooks -> BenchmarkFlags -> Args -> IO ()
benchAction :: UserHooks -> BenchmarkFlags -> [String] -> IO ()
benchAction hooks :: UserHooks
hooks flags :: BenchmarkFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (BenchmarkFlags -> Flag String
benchmarkDistPref BenchmarkFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ BenchmarkFlags -> Flag Verbosity
benchmarkVerbosity BenchmarkFlags
flags
flags' :: BenchmarkFlags
flags' = BenchmarkFlags
flags { benchmarkDistPref :: Flag String
benchmarkDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref }
(UserHooks -> [String] -> BenchmarkFlags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BenchmarkFlags
-> IO ())
-> (UserHooks
-> [String]
-> BenchmarkFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> BenchmarkFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedActionWithArgs UserHooks -> [String] -> BenchmarkFlags -> IO HookedBuildInfo
preBench UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BenchmarkFlags
-> IO ()
benchHook UserHooks
-> [String]
-> BenchmarkFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postBench
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks BenchmarkFlags
flags' [String]
args
registerAction :: UserHooks -> RegisterFlags -> Args -> IO ()
registerAction :: UserHooks -> RegisterFlags -> [String] -> IO ()
registerAction hooks :: UserHooks
hooks flags :: RegisterFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (RegisterFlags -> Flag String
regDistPref RegisterFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ RegisterFlags -> Flag Verbosity
regVerbosity RegisterFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: RegisterFlags
flags' = RegisterFlags
flags { regDistPref :: Flag String
regDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, regCabalFilePath :: Flag String
regCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
(UserHooks -> [String] -> RegisterFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> RegisterFlags
-> IO ())
-> (UserHooks
-> [String]
-> RegisterFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> RegisterFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> RegisterFlags -> IO HookedBuildInfo
preReg UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> RegisterFlags
-> IO ()
regHook UserHooks
-> [String]
-> RegisterFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postReg
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks RegisterFlags
flags' { regArgs :: [String]
regArgs = [String]
args } [String]
args
unregisterAction :: UserHooks -> RegisterFlags -> Args -> IO ()
unregisterAction :: UserHooks -> RegisterFlags -> [String] -> IO ()
unregisterAction hooks :: UserHooks
hooks flags :: RegisterFlags
flags args :: [String]
args = do
String
distPref <- Flag String -> IO String
findDistPrefOrDefault (RegisterFlags -> Flag String
regDistPref RegisterFlags
flags)
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Verbosity -> Verbosity) -> Flag Verbosity -> Verbosity
forall a b. (a -> b) -> a -> b
$ RegisterFlags -> Flag Verbosity
regVerbosity RegisterFlags
flags
LocalBuildInfo
lbi <- UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref
let flags' :: RegisterFlags
flags' = RegisterFlags
flags { regDistPref :: Flag String
regDistPref = String -> Flag String
forall a. a -> Flag a
toFlag String
distPref
, regCabalFilePath :: Flag String
regCabalFilePath = Maybe String -> Flag String
forall a. Maybe a -> Flag a
maybeToFlag (LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi)}
(UserHooks -> [String] -> RegisterFlags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> RegisterFlags
-> IO ())
-> (UserHooks
-> [String]
-> RegisterFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> RegisterFlags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction UserHooks -> [String] -> RegisterFlags -> IO HookedBuildInfo
preUnreg UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> RegisterFlags
-> IO ()
unregHook UserHooks
-> [String]
-> RegisterFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postUnreg
(UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
hooks Verbosity
verbosity String
distPref)
UserHooks
hooks RegisterFlags
flags' [String]
args
hookedAction :: (UserHooks -> Args -> flags -> IO HookedBuildInfo)
-> (UserHooks -> PackageDescription -> LocalBuildInfo
-> UserHooks -> flags -> IO ())
-> (UserHooks -> Args -> flags -> PackageDescription
-> LocalBuildInfo -> IO ())
-> IO LocalBuildInfo
-> UserHooks -> flags -> Args -> IO ()
hookedAction :: (UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedAction pre_hook :: UserHooks -> [String] -> flags -> IO HookedBuildInfo
pre_hook cmd_hook :: UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ()
cmd_hook =
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
forall flags.
(UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedActionWithArgs UserHooks -> [String] -> flags -> IO HookedBuildInfo
pre_hook (\h :: UserHooks
h _ pd :: PackageDescription
pd lbi :: LocalBuildInfo
lbi uh :: UserHooks
uh flags :: flags
flags ->
UserHooks
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ()
cmd_hook UserHooks
h PackageDescription
pd LocalBuildInfo
lbi UserHooks
uh flags
flags)
hookedActionWithArgs :: (UserHooks -> Args -> flags -> IO HookedBuildInfo)
-> (UserHooks -> Args -> PackageDescription -> LocalBuildInfo
-> UserHooks -> flags -> IO ())
-> (UserHooks -> Args -> flags -> PackageDescription
-> LocalBuildInfo -> IO ())
-> IO LocalBuildInfo
-> UserHooks -> flags -> Args -> IO ()
hookedActionWithArgs :: (UserHooks -> [String] -> flags -> IO HookedBuildInfo)
-> (UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ())
-> (UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ())
-> IO LocalBuildInfo
-> UserHooks
-> flags
-> [String]
-> IO ()
hookedActionWithArgs pre_hook :: UserHooks -> [String] -> flags -> IO HookedBuildInfo
pre_hook cmd_hook :: UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ()
cmd_hook post_hook :: UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
post_hook
get_build_config :: IO LocalBuildInfo
get_build_config hooks :: UserHooks
hooks flags :: flags
flags args :: [String]
args = do
HookedBuildInfo
pbi <- UserHooks -> [String] -> flags -> IO HookedBuildInfo
pre_hook UserHooks
hooks [String]
args flags
flags
LocalBuildInfo
lbi0 <- IO LocalBuildInfo
IO LocalBuildInfo
get_build_config
let pkg_descr0 :: PackageDescription
pkg_descr0 = LocalBuildInfo -> PackageDescription
localPkgDescr LocalBuildInfo
lbi0
PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo PackageDescription
pkg_descr0 HookedBuildInfo
pbi
let pkg_descr :: PackageDescription
pkg_descr = HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr0
lbi :: LocalBuildInfo
lbi = LocalBuildInfo
lbi0 { localPkgDescr :: PackageDescription
localPkgDescr = PackageDescription
pkg_descr }
UserHooks
-> [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> flags
-> IO ()
cmd_hook UserHooks
hooks [String]
args PackageDescription
pkg_descr LocalBuildInfo
lbi UserHooks
hooks flags
flags
UserHooks
-> [String]
-> flags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
post_hook UserHooks
hooks [String]
args flags
flags PackageDescription
pkg_descr LocalBuildInfo
lbi
sanityCheckHookedBuildInfo :: PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo :: PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo PackageDescription { library :: PackageDescription -> Maybe Library
library = Maybe Library
Nothing } (Just _,_)
= String -> IO ()
forall a. String -> IO a
die (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ "The buildinfo contains info for a library, "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "but the package does not have a library."
sanityCheckHookedBuildInfo pkg_descr :: PackageDescription
pkg_descr (_, hookExes :: [(UnqualComponentName, BuildInfo)]
hookExes)
| Bool -> Bool
not ([UnqualComponentName] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [UnqualComponentName]
nonExistant)
= String -> IO ()
forall a. String -> IO a
die (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ "The buildinfo contains info for an executable called '"
String -> String -> String
forall a. [a] -> [a] -> [a]
++ UnqualComponentName -> String
forall a. Pretty a => a -> String
prettyShow ([UnqualComponentName] -> UnqualComponentName
forall a. [a] -> a
head [UnqualComponentName]
nonExistant) String -> String -> String
forall a. [a] -> [a] -> [a]
++ "' but the package does not have a "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "executable with that name."
where
pkgExeNames :: [UnqualComponentName]
pkgExeNames = [UnqualComponentName] -> [UnqualComponentName]
forall a. Eq a => [a] -> [a]
nub ((Executable -> UnqualComponentName)
-> [Executable] -> [UnqualComponentName]
forall a b. (a -> b) -> [a] -> [b]
map Executable -> UnqualComponentName
exeName (PackageDescription -> [Executable]
executables PackageDescription
pkg_descr))
hookExeNames :: [UnqualComponentName]
hookExeNames = [UnqualComponentName] -> [UnqualComponentName]
forall a. Eq a => [a] -> [a]
nub (((UnqualComponentName, BuildInfo) -> UnqualComponentName)
-> [(UnqualComponentName, BuildInfo)] -> [UnqualComponentName]
forall a b. (a -> b) -> [a] -> [b]
map (UnqualComponentName, BuildInfo) -> UnqualComponentName
forall a b. (a, b) -> a
fst [(UnqualComponentName, BuildInfo)]
hookExes)
nonExistant :: [UnqualComponentName]
nonExistant = [UnqualComponentName]
hookExeNames [UnqualComponentName]
-> [UnqualComponentName] -> [UnqualComponentName]
forall a. Eq a => [a] -> [a] -> [a]
\\ [UnqualComponentName]
pkgExeNames
sanityCheckHookedBuildInfo _ _ = () -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
tryGetBuildConfig :: UserHooks -> Verbosity -> FilePath
-> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetBuildConfig :: UserHooks
-> Verbosity
-> String
-> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetBuildConfig u :: UserHooks
u v :: Verbosity
v = IO LocalBuildInfo
-> IO (Either ConfigStateFileError LocalBuildInfo)
forall e a. Exception e => IO a -> IO (Either e a)
try (IO LocalBuildInfo
-> IO (Either ConfigStateFileError LocalBuildInfo))
-> (String -> IO LocalBuildInfo)
-> String
-> IO (Either ConfigStateFileError LocalBuildInfo)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig UserHooks
u Verbosity
v
getBuildConfig :: UserHooks -> Verbosity -> FilePath -> IO LocalBuildInfo
getBuildConfig :: UserHooks -> Verbosity -> String -> IO LocalBuildInfo
getBuildConfig hooks :: UserHooks
hooks verbosity :: Verbosity
verbosity distPref :: String
distPref = do
LocalBuildInfo
lbi_wo_programs <- String -> IO LocalBuildInfo
getPersistBuildConfig String
distPref
let lbi :: LocalBuildInfo
lbi = LocalBuildInfo
lbi_wo_programs {
withPrograms :: ProgramDb
withPrograms = [Program] -> ProgramDb -> ProgramDb
restoreProgramDb
([Program]
builtinPrograms [Program] -> [Program] -> [Program]
forall a. [a] -> [a] -> [a]
++ UserHooks -> [Program]
hookedPrograms UserHooks
hooks)
(LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi_wo_programs)
}
case LocalBuildInfo -> Maybe String
pkgDescrFile LocalBuildInfo
lbi of
Nothing -> LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
lbi
Just pkg_descr_file :: String
pkg_descr_file -> do
Bool
outdated <- String -> String -> NoCallStackIO Bool
checkPersistBuildConfigOutdated String
distPref String
pkg_descr_file
if Bool
outdated
then String -> LocalBuildInfo -> IO LocalBuildInfo
reconfigure String
pkg_descr_file LocalBuildInfo
lbi
else LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
lbi
where
reconfigure :: FilePath -> LocalBuildInfo -> IO LocalBuildInfo
reconfigure :: String -> LocalBuildInfo -> IO LocalBuildInfo
reconfigure pkg_descr_file :: String
pkg_descr_file lbi :: LocalBuildInfo
lbi = do
Verbosity -> String -> IO ()
notice Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
pkg_descr_file String -> String -> String
forall a. [a] -> [a] -> [a]
++ " has been changed. "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "Re-configuring with most recently used options. "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "If this fails, please run configure manually.\n"
let cFlags :: ConfigFlags
cFlags = LocalBuildInfo -> ConfigFlags
configFlags LocalBuildInfo
lbi
let cFlags' :: ConfigFlags
cFlags' = ConfigFlags
cFlags {
configPrograms_ :: Last' ProgramDb
configPrograms_ = [Program] -> ProgramDb -> ProgramDb
restoreProgramDb
([Program]
builtinPrograms [Program] -> [Program] -> [Program]
forall a. [a] -> [a] -> [a]
++ UserHooks -> [Program]
hookedPrograms UserHooks
hooks)
(ProgramDb -> ProgramDb) -> Last' ProgramDb -> Last' ProgramDb
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` ConfigFlags -> Last' ProgramDb
configPrograms_ ConfigFlags
cFlags,
configVerbosity :: Flag Verbosity
configVerbosity = Verbosity -> Flag Verbosity
forall a. a -> Flag a
Flag Verbosity
verbosity
}
UserHooks -> ConfigFlags -> [String] -> IO LocalBuildInfo
configureAction UserHooks
hooks ConfigFlags
cFlags' (LocalBuildInfo -> [String]
extraConfigArgs LocalBuildInfo
lbi)
clean :: PackageDescription -> CleanFlags -> IO ()
clean :: PackageDescription -> CleanFlags -> IO ()
clean pkg_descr :: PackageDescription
pkg_descr flags :: CleanFlags
flags = do
let distPref :: String
distPref = String -> Flag String -> String
forall a. a -> Flag a -> a
fromFlagOrDefault String
defaultDistPref (Flag String -> String) -> Flag String -> String
forall a b. (a -> b) -> a -> b
$ CleanFlags -> Flag String
cleanDistPref CleanFlags
flags
Verbosity -> String -> IO ()
notice Verbosity
verbosity "cleaning..."
Maybe LocalBuildInfo
maybeConfig <- if Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (CleanFlags -> Flag Bool
cleanSaveConf CleanFlags
flags)
then String -> IO (Maybe LocalBuildInfo)
maybeGetPersistBuildConfig String
distPref
else Maybe LocalBuildInfo -> IO (Maybe LocalBuildInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe LocalBuildInfo
forall a. Maybe a
Nothing
String -> IO () -> IO ()
chattyTry "removing dist/" (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
Bool
exists <- String -> NoCallStackIO Bool
doesDirectoryExist String
distPref
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
exists (String -> IO ()
removeDirectoryRecursive String
distPref)
(String -> IO ()) -> [String] -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
(a -> f b) -> t a -> f ()
traverse_ String -> IO ()
removeFileOrDirectory (PackageDescription -> [String]
extraTmpFiles PackageDescription
pkg_descr)
(LocalBuildInfo -> IO ()) -> Maybe LocalBuildInfo -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
(a -> f b) -> t a -> f ()
traverse_ (String -> LocalBuildInfo -> IO ()
writePersistBuildConfig String
distPref) Maybe LocalBuildInfo
maybeConfig
where
removeFileOrDirectory :: FilePath -> NoCallStackIO ()
removeFileOrDirectory :: String -> IO ()
removeFileOrDirectory fname :: String
fname = do
Bool
isDir <- String -> NoCallStackIO Bool
doesDirectoryExist String
fname
Bool
isFile <- String -> NoCallStackIO Bool
doesFileExist String
fname
if Bool
isDir then String -> IO ()
removeDirectoryRecursive String
fname
else Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
isFile (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ String -> IO ()
removeFile String
fname
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (CleanFlags -> Flag Verbosity
cleanVerbosity CleanFlags
flags)
simpleUserHooks :: UserHooks
simpleUserHooks :: UserHooks
simpleUserHooks =
UserHooks
emptyUserHooks {
confHook :: (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags -> IO LocalBuildInfo
confHook = (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags -> IO LocalBuildInfo
configure,
postConf :: [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
postConf = [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
forall p.
p -> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
finalChecks,
buildHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> BuildFlags -> IO ()
buildHook = PackageDescription
-> LocalBuildInfo -> UserHooks -> BuildFlags -> IO ()
defaultBuildHook,
replHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> ReplFlags -> [String] -> IO ()
replHook = PackageDescription
-> LocalBuildInfo -> UserHooks -> ReplFlags -> [String] -> IO ()
defaultReplHook,
copyHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> CopyFlags -> IO ()
copyHook = \desc :: PackageDescription
desc lbi :: LocalBuildInfo
lbi _ f :: CopyFlags
f -> PackageDescription -> LocalBuildInfo -> CopyFlags -> IO ()
install PackageDescription
desc LocalBuildInfo
lbi CopyFlags
f,
testHook :: [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> TestFlags
-> IO ()
testHook = [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> TestFlags
-> IO ()
defaultTestHook,
benchHook :: [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BenchmarkFlags
-> IO ()
benchHook = [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BenchmarkFlags
-> IO ()
defaultBenchHook,
instHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> InstallFlags -> IO ()
instHook = PackageDescription
-> LocalBuildInfo -> UserHooks -> InstallFlags -> IO ()
defaultInstallHook,
sDistHook :: PackageDescription
-> Maybe LocalBuildInfo -> UserHooks -> SDistFlags -> IO ()
sDistHook = \p :: PackageDescription
p l :: Maybe LocalBuildInfo
l h :: UserHooks
h f :: SDistFlags
f -> PackageDescription
-> Maybe LocalBuildInfo
-> SDistFlags
-> (String -> String)
-> [PPSuffixHandler]
-> IO ()
sdist PackageDescription
p Maybe LocalBuildInfo
l SDistFlags
f String -> String
srcPref (UserHooks -> [PPSuffixHandler]
allSuffixHandlers UserHooks
h),
cleanHook :: PackageDescription -> () -> UserHooks -> CleanFlags -> IO ()
cleanHook = \p :: PackageDescription
p _ _ f :: CleanFlags
f -> PackageDescription -> CleanFlags -> IO ()
clean PackageDescription
p CleanFlags
f,
hscolourHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> HscolourFlags -> IO ()
hscolourHook = \p :: PackageDescription
p l :: LocalBuildInfo
l h :: UserHooks
h f :: HscolourFlags
f -> PackageDescription
-> LocalBuildInfo -> [PPSuffixHandler] -> HscolourFlags -> IO ()
hscolour PackageDescription
p LocalBuildInfo
l (UserHooks -> [PPSuffixHandler]
allSuffixHandlers UserHooks
h) HscolourFlags
f,
haddockHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> HaddockFlags -> IO ()
haddockHook = \p :: PackageDescription
p l :: LocalBuildInfo
l h :: UserHooks
h f :: HaddockFlags
f -> PackageDescription
-> LocalBuildInfo -> [PPSuffixHandler] -> HaddockFlags -> IO ()
haddock PackageDescription
p LocalBuildInfo
l (UserHooks -> [PPSuffixHandler]
allSuffixHandlers UserHooks
h) HaddockFlags
f,
doctestHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> DoctestFlags -> IO ()
doctestHook = \p :: PackageDescription
p l :: LocalBuildInfo
l h :: UserHooks
h f :: DoctestFlags
f -> PackageDescription
-> LocalBuildInfo -> [PPSuffixHandler] -> DoctestFlags -> IO ()
doctest PackageDescription
p LocalBuildInfo
l (UserHooks -> [PPSuffixHandler]
allSuffixHandlers UserHooks
h) DoctestFlags
f,
regHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> RegisterFlags -> IO ()
regHook = PackageDescription
-> LocalBuildInfo -> UserHooks -> RegisterFlags -> IO ()
defaultRegHook,
unregHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> RegisterFlags -> IO ()
unregHook = \p :: PackageDescription
p l :: LocalBuildInfo
l _ f :: RegisterFlags
f -> PackageDescription -> LocalBuildInfo -> RegisterFlags -> IO ()
unregister PackageDescription
p LocalBuildInfo
l RegisterFlags
f
}
where
finalChecks :: p -> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
finalChecks _args :: p
_args flags :: ConfigFlags
flags pkg_descr :: PackageDescription
pkg_descr lbi :: LocalBuildInfo
lbi =
PackageDescription -> LocalBuildInfo -> Verbosity -> IO ()
checkForeignDeps PackageDescription
pkg_descr LocalBuildInfo
lbi (Verbosity -> Verbosity
lessVerbose Verbosity
verbosity)
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
flags)
{-# DEPRECATED defaultUserHooks
"Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2\n compatibility in which case you must stick with defaultUserHooks" #-}
defaultUserHooks :: UserHooks
defaultUserHooks :: UserHooks
defaultUserHooks = UserHooks
autoconfUserHooks {
confHook :: (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags -> IO LocalBuildInfo
confHook = \pkg :: (GenericPackageDescription, HookedBuildInfo)
pkg flags :: ConfigFlags
flags -> do
let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
flags)
Verbosity -> String -> IO ()
warn Verbosity
verbosity
"defaultUserHooks in Setup script is deprecated."
UserHooks
-> (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags
-> IO LocalBuildInfo
confHook UserHooks
autoconfUserHooks (GenericPackageDescription, HookedBuildInfo)
pkg ConfigFlags
flags,
postConf :: [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
postConf = [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
[String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
oldCompatPostConf
}
where oldCompatPostConf :: [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
oldCompatPostConf args :: [String]
args flags :: ConfigFlags
flags pkg_descr :: PackageDescription
pkg_descr lbi :: LocalBuildInfo
lbi
= do let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
flags)
baseDir :: LocalBuildInfo -> String
baseDir lbi' :: LocalBuildInfo
lbi' = String -> Maybe String -> String
forall a. a -> Maybe a -> a
fromMaybe "" (String -> String
takeDirectory (String -> String) -> Maybe String -> Maybe String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi')
Bool
confExists <- String -> NoCallStackIO Bool
doesFileExist (String -> NoCallStackIO Bool) -> String -> NoCallStackIO Bool
forall a b. (a -> b) -> a -> b
$ (LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi) String -> String -> String
</> "configure"
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
confExists (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> Bool -> ConfigFlags -> LocalBuildInfo -> IO ()
runConfigureScript Verbosity
verbosity
Bool
backwardsCompatHack ConfigFlags
flags LocalBuildInfo
lbi
HookedBuildInfo
pbi <- String -> Verbosity -> IO HookedBuildInfo
getHookedBuildInfo (LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi) Verbosity
verbosity
PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo PackageDescription
pkg_descr HookedBuildInfo
pbi
let pkg_descr' :: PackageDescription
pkg_descr' = HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr
lbi' :: LocalBuildInfo
lbi' = LocalBuildInfo
lbi { localPkgDescr :: PackageDescription
localPkgDescr = PackageDescription
pkg_descr' }
UserHooks
-> [String]
-> ConfigFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postConf UserHooks
simpleUserHooks [String]
args ConfigFlags
flags PackageDescription
pkg_descr' LocalBuildInfo
lbi'
backwardsCompatHack :: Bool
backwardsCompatHack = Bool
True
autoconfUserHooks :: UserHooks
autoconfUserHooks :: UserHooks
autoconfUserHooks
= UserHooks
simpleUserHooks
{
postConf :: [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
postConf = [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
defaultPostConf,
preBuild :: [String] -> BuildFlags -> IO HookedBuildInfo
preBuild = (BuildFlags -> Flag Verbosity)
-> (BuildFlags -> Flag String)
-> [String]
-> BuildFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHookWithArgs BuildFlags -> Flag Verbosity
buildVerbosity BuildFlags -> Flag String
buildDistPref,
preCopy :: [String] -> CopyFlags -> IO HookedBuildInfo
preCopy = (CopyFlags -> Flag Verbosity)
-> (CopyFlags -> Flag String)
-> [String]
-> CopyFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHookWithArgs CopyFlags -> Flag Verbosity
copyVerbosity CopyFlags -> Flag String
copyDistPref,
preClean :: [String] -> CleanFlags -> IO HookedBuildInfo
preClean = (CleanFlags -> Flag Verbosity)
-> (CleanFlags -> Flag String)
-> [String]
-> CleanFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHook CleanFlags -> Flag Verbosity
cleanVerbosity CleanFlags -> Flag String
cleanDistPref,
preInst :: [String] -> InstallFlags -> IO HookedBuildInfo
preInst = (InstallFlags -> Flag Verbosity)
-> (InstallFlags -> Flag String)
-> [String]
-> InstallFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHook InstallFlags -> Flag Verbosity
installVerbosity InstallFlags -> Flag String
installDistPref,
preHscolour :: [String] -> HscolourFlags -> IO HookedBuildInfo
preHscolour = (HscolourFlags -> Flag Verbosity)
-> (HscolourFlags -> Flag String)
-> [String]
-> HscolourFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHook HscolourFlags -> Flag Verbosity
hscolourVerbosity HscolourFlags -> Flag String
hscolourDistPref,
preHaddock :: [String] -> HaddockFlags -> IO HookedBuildInfo
preHaddock = (HaddockFlags -> Flag Verbosity)
-> (HaddockFlags -> Flag String)
-> [String]
-> HaddockFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHookWithArgs HaddockFlags -> Flag Verbosity
haddockVerbosity HaddockFlags -> Flag String
haddockDistPref,
preReg :: [String] -> RegisterFlags -> IO HookedBuildInfo
preReg = (RegisterFlags -> Flag Verbosity)
-> (RegisterFlags -> Flag String)
-> [String]
-> RegisterFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHook RegisterFlags -> Flag Verbosity
regVerbosity RegisterFlags -> Flag String
regDistPref,
preUnreg :: [String] -> RegisterFlags -> IO HookedBuildInfo
preUnreg = (RegisterFlags -> Flag Verbosity)
-> (RegisterFlags -> Flag String)
-> [String]
-> RegisterFlags
-> IO HookedBuildInfo
forall a.
(a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHook RegisterFlags -> Flag Verbosity
regVerbosity RegisterFlags -> Flag String
regDistPref
}
where defaultPostConf :: Args -> ConfigFlags -> PackageDescription
-> LocalBuildInfo -> IO ()
defaultPostConf :: [String]
-> ConfigFlags -> PackageDescription -> LocalBuildInfo -> IO ()
defaultPostConf args :: [String]
args flags :: ConfigFlags
flags pkg_descr :: PackageDescription
pkg_descr lbi :: LocalBuildInfo
lbi
= do let verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
flags)
baseDir :: LocalBuildInfo -> String
baseDir lbi' :: LocalBuildInfo
lbi' = String -> Maybe String -> String
forall a. a -> Maybe a -> a
fromMaybe "" (String -> String
takeDirectory (String -> String) -> Maybe String -> Maybe String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi')
Bool
confExists <- String -> NoCallStackIO Bool
doesFileExist (String -> NoCallStackIO Bool) -> String -> NoCallStackIO Bool
forall a b. (a -> b) -> a -> b
$ (LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi) String -> String -> String
</> "configure"
if Bool
confExists
then Verbosity -> Bool -> ConfigFlags -> LocalBuildInfo -> IO ()
runConfigureScript Verbosity
verbosity
Bool
backwardsCompatHack ConfigFlags
flags LocalBuildInfo
lbi
else String -> IO ()
forall a. String -> IO a
die "configure script not found."
HookedBuildInfo
pbi <- String -> Verbosity -> IO HookedBuildInfo
getHookedBuildInfo (LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi) Verbosity
verbosity
PackageDescription -> HookedBuildInfo -> IO ()
sanityCheckHookedBuildInfo PackageDescription
pkg_descr HookedBuildInfo
pbi
let pkg_descr' :: PackageDescription
pkg_descr' = HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr
lbi' :: LocalBuildInfo
lbi' = LocalBuildInfo
lbi { localPkgDescr :: PackageDescription
localPkgDescr = PackageDescription
pkg_descr' }
UserHooks
-> [String]
-> ConfigFlags
-> PackageDescription
-> LocalBuildInfo
-> IO ()
postConf UserHooks
simpleUserHooks [String]
args ConfigFlags
flags PackageDescription
pkg_descr' LocalBuildInfo
lbi'
backwardsCompatHack :: Bool
backwardsCompatHack = Bool
False
readHookWithArgs :: (a -> Flag Verbosity)
-> (a -> Flag FilePath)
-> Args -> a
-> IO HookedBuildInfo
readHookWithArgs :: (a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHookWithArgs get_verbosity :: a -> Flag Verbosity
get_verbosity get_dist_pref :: a -> Flag String
get_dist_pref _ flags :: a
flags = do
String
dist_dir <- Flag String -> IO String
findDistPrefOrDefault (a -> Flag String
get_dist_pref a
flags)
String -> Verbosity -> IO HookedBuildInfo
getHookedBuildInfo (String
dist_dir String -> String -> String
</> "build") Verbosity
verbosity
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (a -> Flag Verbosity
get_verbosity a
flags)
readHook :: (a -> Flag Verbosity)
-> (a -> Flag FilePath)
-> Args -> a -> IO HookedBuildInfo
readHook :: (a -> Flag Verbosity)
-> (a -> Flag String) -> [String] -> a -> IO HookedBuildInfo
readHook get_verbosity :: a -> Flag Verbosity
get_verbosity get_dist_pref :: a -> Flag String
get_dist_pref a :: [String]
a flags :: a
flags = do
[String] -> IO ()
noExtraFlags [String]
a
String
dist_dir <- Flag String -> IO String
findDistPrefOrDefault (a -> Flag String
get_dist_pref a
flags)
String -> Verbosity -> IO HookedBuildInfo
getHookedBuildInfo (String
dist_dir String -> String -> String
</> "build") Verbosity
verbosity
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (a -> Flag Verbosity
get_verbosity a
flags)
runConfigureScript :: Verbosity -> Bool -> ConfigFlags -> LocalBuildInfo
-> IO ()
runConfigureScript :: Verbosity -> Bool -> ConfigFlags -> LocalBuildInfo -> IO ()
runConfigureScript verbosity :: Verbosity
verbosity backwardsCompatHack :: Bool
backwardsCompatHack flags :: ConfigFlags
flags lbi :: LocalBuildInfo
lbi = do
[(String, String)]
env <- NoCallStackIO [(String, String)]
getEnvironment
let programDb :: ProgramDb
programDb = LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi
(ccProg :: String
ccProg, ccFlags :: [String]
ccFlags) <- Verbosity -> ProgramDb -> IO (String, [String])
configureCCompiler Verbosity
verbosity ProgramDb
programDb
String
ccProgShort <- String -> IO String
getShortPathName String
ccProg
String
configureFile <- String -> IO String
makeAbsolute (String -> IO String) -> String -> IO String
forall a b. (a -> b) -> a -> b
$
String -> Maybe String -> String
forall a. a -> Maybe a -> a
fromMaybe "." (String -> String
takeDirectory (String -> String) -> Maybe String -> Maybe String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi) String -> String -> String
</> "configure"
let configureFile' :: String
configureFile' = String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate "/" ([String] -> String) -> [String] -> String
forall a b. (a -> b) -> a -> b
$ String -> [String]
splitDirectories String
configureFile
[(Char, String)] -> ((Char, String) -> IO ()) -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
t a -> (a -> f b) -> f ()
for_ [(Char, String)]
badAutoconfCharacters (((Char, String) -> IO ()) -> IO ())
-> ((Char, String) -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \(c :: Char
c, cname :: String
cname) ->
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Char
c Char -> String -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` String -> String
dropDrive String
configureFile') (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
"The path to the './configure' script, '" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
configureFile'
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "', contains the character '" String -> String -> String
forall a. [a] -> [a] -> [a]
++ [Char
c] String -> String -> String
forall a. [a] -> [a] -> [a]
++ "' (" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
cname String -> String -> String
forall a. [a] -> [a] -> [a]
++ ")."
String -> String -> String
forall a. [a] -> [a] -> [a]
++ " This may cause the script to fail with an obscure error, or for"
String -> String -> String
forall a. [a] -> [a] -> [a]
++ " building the package to fail later."
let extraPath :: [String]
extraPath = NubList String -> [String]
forall a. NubList a -> [a]
fromNubList (NubList String -> [String]) -> NubList String -> [String]
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> NubList String
configProgramPathExtra ConfigFlags
flags
let cflagsEnv :: String
cflagsEnv = String -> (String -> String) -> Maybe String -> String
forall b a. b -> (a -> b) -> Maybe a -> b
maybe ([String] -> String
unwords [String]
ccFlags) (String -> String -> String
forall a. [a] -> [a] -> [a]
++ (" " String -> String -> String
forall a. [a] -> [a] -> [a]
++ [String] -> String
unwords [String]
ccFlags))
(Maybe String -> String) -> Maybe String -> String
forall a b. (a -> b) -> a -> b
$ String -> [(String, String)] -> Maybe String
forall a b. Eq a => a -> [(a, b)] -> Maybe b
lookup "CFLAGS" [(String, String)]
env
spSep :: String
spSep = [Char
searchPathSeparator]
pathEnv :: String
pathEnv = String -> (String -> String) -> Maybe String -> String
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
spSep [String]
extraPath)
((String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
spSep [String]
extraPath String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
spSep)String -> String -> String
forall a. [a] -> [a] -> [a]
++) (Maybe String -> String) -> Maybe String -> String
forall a b. (a -> b) -> a -> b
$ String -> [(String, String)] -> Maybe String
forall a b. Eq a => a -> [(a, b)] -> Maybe b
lookup "PATH" [(String, String)]
env
overEnv :: [(String, Maybe String)]
overEnv = ("CFLAGS", String -> Maybe String
forall a. a -> Maybe a
Just String
cflagsEnv) (String, Maybe String)
-> [(String, Maybe String)] -> [(String, Maybe String)]
forall a. a -> [a] -> [a]
:
[("PATH", String -> Maybe String
forall a. a -> Maybe a
Just String
pathEnv) | Bool -> Bool
not ([String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [String]
extraPath)]
hp :: Platform
hp = LocalBuildInfo -> Platform
hostPlatform LocalBuildInfo
lbi
maybeHostFlag :: [String]
maybeHostFlag = if Platform
hp Platform -> Platform -> Bool
forall a. Eq a => a -> a -> Bool
== Platform
buildPlatform then [] else ["--host=" String -> String -> String
forall a. [a] -> [a] -> [a]
++ Doc -> String
forall a. Show a => a -> String
show (Platform -> Doc
forall a. Pretty a => a -> Doc
pretty Platform
hp)]
args' :: [String]
args' = String
configureFile'String -> [String] -> [String]
forall a. a -> [a] -> [a]
:[String]
args [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ ["CC=" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
ccProgShort] [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [String]
maybeHostFlag
shProg :: Program
shProg = String -> Program
simpleProgram "sh"
progDb :: ProgramDb
progDb = (ProgramSearchPath -> ProgramSearchPath) -> ProgramDb -> ProgramDb
modifyProgramSearchPath
(\p :: ProgramSearchPath
p -> (String -> ProgramSearchPathEntry) -> [String] -> ProgramSearchPath
forall a b. (a -> b) -> [a] -> [b]
map String -> ProgramSearchPathEntry
ProgramSearchPathDir [String]
extraPath ProgramSearchPath -> ProgramSearchPath -> ProgramSearchPath
forall a. [a] -> [a] -> [a]
++ ProgramSearchPath
p) ProgramDb
emptyProgramDb
Maybe ConfiguredProgram
shConfiguredProg <- Program -> ProgramDb -> Maybe ConfiguredProgram
lookupProgram Program
shProg
(ProgramDb -> Maybe ConfiguredProgram)
-> IO ProgramDb -> IO (Maybe ConfiguredProgram)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` Verbosity -> Program -> ProgramDb -> IO ProgramDb
configureProgram Verbosity
verbosity Program
shProg ProgramDb
progDb
case Maybe ConfiguredProgram
shConfiguredProg of
Just sh :: ConfiguredProgram
sh -> Verbosity -> ProgramInvocation -> IO ()
runProgramInvocation Verbosity
verbosity (ProgramInvocation -> IO ()) -> ProgramInvocation -> IO ()
forall a b. (a -> b) -> a -> b
$
(ConfiguredProgram -> [String] -> ProgramInvocation
programInvocation (ConfiguredProgram
sh {programOverrideEnv :: [(String, Maybe String)]
programOverrideEnv = [(String, Maybe String)]
overEnv}) [String]
args')
{ progInvokeCwd :: Maybe String
progInvokeCwd = String -> Maybe String
forall a. a -> Maybe a
Just (LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi) }
Nothing -> String -> IO ()
forall a. String -> IO a
die String
notFoundMsg
where
args :: [String]
args = Bool -> ConfigFlags -> [String]
configureArgs Bool
backwardsCompatHack ConfigFlags
flags
badAutoconfCharacters :: [(Char, String)]
badAutoconfCharacters =
[ (' ', "space")
, ('\t', "tab")
, ('\n', "newline")
, ('\0', "null")
, ('"', "double quote")
, ('#', "hash")
, ('$', "dollar sign")
, ('&', "ampersand")
, ('\'', "single quote")
, ('(', "left bracket")
, (')', "right bracket")
, ('*', "star")
, (';', "semicolon")
, ('<', "less-than sign")
, ('=', "equals sign")
, ('>', "greater-than sign")
, ('?', "question mark")
, ('[', "left square bracket")
, ('\\', "backslash")
, ('`', "backtick")
, ('|', "pipe")
]
notFoundMsg :: String
notFoundMsg = "The package has a './configure' script. "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "If you are on Windows, This requires a "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "Unix compatibility toolchain such as MinGW+MSYS or Cygwin. "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "If you are not on Windows, ensure that an 'sh' command "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ "is discoverable in your path."
getHookedBuildInfo :: FilePath -> Verbosity -> IO HookedBuildInfo
getHookedBuildInfo :: String -> Verbosity -> IO HookedBuildInfo
getHookedBuildInfo build_dir :: String
build_dir verbosity :: Verbosity
verbosity = do
Maybe String
maybe_infoFile <- String -> IO (Maybe String)
findHookedPackageDesc String
build_dir
case Maybe String
maybe_infoFile of
Nothing -> HookedBuildInfo -> IO HookedBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return HookedBuildInfo
emptyHookedBuildInfo
Just infoFile :: String
infoFile -> do
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ "Reading parameters from " String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
infoFile
Verbosity -> String -> IO HookedBuildInfo
readHookedBuildInfo Verbosity
verbosity String
infoFile
defaultTestHook :: Args -> PackageDescription -> LocalBuildInfo
-> UserHooks -> TestFlags -> IO ()
defaultTestHook :: [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> TestFlags
-> IO ()
defaultTestHook args :: [String]
args pkg_descr :: PackageDescription
pkg_descr localbuildinfo :: LocalBuildInfo
localbuildinfo _ flags :: TestFlags
flags =
[String]
-> PackageDescription -> LocalBuildInfo -> TestFlags -> IO ()
test [String]
args PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo TestFlags
flags
defaultBenchHook :: Args -> PackageDescription -> LocalBuildInfo
-> UserHooks -> BenchmarkFlags -> IO ()
defaultBenchHook :: [String]
-> PackageDescription
-> LocalBuildInfo
-> UserHooks
-> BenchmarkFlags
-> IO ()
defaultBenchHook args :: [String]
args pkg_descr :: PackageDescription
pkg_descr localbuildinfo :: LocalBuildInfo
localbuildinfo _ flags :: BenchmarkFlags
flags =
[String]
-> PackageDescription -> LocalBuildInfo -> BenchmarkFlags -> IO ()
bench [String]
args PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo BenchmarkFlags
flags
defaultInstallHook :: PackageDescription -> LocalBuildInfo
-> UserHooks -> InstallFlags -> IO ()
defaultInstallHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> InstallFlags -> IO ()
defaultInstallHook pkg_descr :: PackageDescription
pkg_descr localbuildinfo :: LocalBuildInfo
localbuildinfo _ flags :: InstallFlags
flags = do
let copyFlags :: CopyFlags
copyFlags = CopyFlags
defaultCopyFlags {
copyDistPref :: Flag String
copyDistPref = InstallFlags -> Flag String
installDistPref InstallFlags
flags,
copyDest :: Flag CopyDest
copyDest = InstallFlags -> Flag CopyDest
installDest InstallFlags
flags,
copyVerbosity :: Flag Verbosity
copyVerbosity = InstallFlags -> Flag Verbosity
installVerbosity InstallFlags
flags
}
PackageDescription -> LocalBuildInfo -> CopyFlags -> IO ()
install PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo CopyFlags
copyFlags
let registerFlags :: RegisterFlags
registerFlags = RegisterFlags
defaultRegisterFlags {
regDistPref :: Flag String
regDistPref = InstallFlags -> Flag String
installDistPref InstallFlags
flags,
regInPlace :: Flag Bool
regInPlace = InstallFlags -> Flag Bool
installInPlace InstallFlags
flags,
regPackageDB :: Flag PackageDB
regPackageDB = InstallFlags -> Flag PackageDB
installPackageDB InstallFlags
flags,
regVerbosity :: Flag Verbosity
regVerbosity = InstallFlags -> Flag Verbosity
installVerbosity InstallFlags
flags
}
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (PackageDescription -> Bool
hasLibs PackageDescription
pkg_descr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ PackageDescription -> LocalBuildInfo -> RegisterFlags -> IO ()
register PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo RegisterFlags
registerFlags
defaultBuildHook :: PackageDescription -> LocalBuildInfo
-> UserHooks -> BuildFlags -> IO ()
defaultBuildHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> BuildFlags -> IO ()
defaultBuildHook pkg_descr :: PackageDescription
pkg_descr localbuildinfo :: LocalBuildInfo
localbuildinfo hooks :: UserHooks
hooks flags :: BuildFlags
flags =
PackageDescription
-> LocalBuildInfo -> BuildFlags -> [PPSuffixHandler] -> IO ()
build PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo BuildFlags
flags (UserHooks -> [PPSuffixHandler]
allSuffixHandlers UserHooks
hooks)
defaultReplHook :: PackageDescription -> LocalBuildInfo
-> UserHooks -> ReplFlags -> [String] -> IO ()
defaultReplHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> ReplFlags -> [String] -> IO ()
defaultReplHook pkg_descr :: PackageDescription
pkg_descr localbuildinfo :: LocalBuildInfo
localbuildinfo hooks :: UserHooks
hooks flags :: ReplFlags
flags args :: [String]
args =
PackageDescription
-> LocalBuildInfo
-> ReplFlags
-> [PPSuffixHandler]
-> [String]
-> IO ()
repl PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo ReplFlags
flags (UserHooks -> [PPSuffixHandler]
allSuffixHandlers UserHooks
hooks) [String]
args
defaultRegHook :: PackageDescription -> LocalBuildInfo
-> UserHooks -> RegisterFlags -> IO ()
defaultRegHook :: PackageDescription
-> LocalBuildInfo -> UserHooks -> RegisterFlags -> IO ()
defaultRegHook pkg_descr :: PackageDescription
pkg_descr localbuildinfo :: LocalBuildInfo
localbuildinfo _ flags :: RegisterFlags
flags =
if PackageDescription -> Bool
hasLibs PackageDescription
pkg_descr
then PackageDescription -> LocalBuildInfo -> RegisterFlags -> IO ()
register PackageDescription
pkg_descr LocalBuildInfo
localbuildinfo RegisterFlags
flags
else Verbosity -> String -> PackageIdentifier -> IO ()
setupMessage (Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (RegisterFlags -> Flag Verbosity
regVerbosity RegisterFlags
flags))
"Package contains no library to register:" (PackageDescription -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId PackageDescription
pkg_descr)