{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Distribution.Simple.Configure
( configure
, writePersistBuildConfig
, getConfigStateFile
, getPersistBuildConfig
, checkPersistBuildConfigOutdated
, tryGetPersistBuildConfig
, maybeGetPersistBuildConfig
, findDistPref, findDistPrefOrDefault
, getInternalPackages
, computeComponentId
, computeCompatPackageKey
, localBuildInfoFile
, getInstalledPackages
, getInstalledPackagesMonitorFiles
, getPackageDBContents
, configCompilerEx, configCompilerAuxEx
, computeEffectiveProfiling
, ccLdOptionsBuildInfo
, checkForeignDeps
, interpretPackageDbFlags
, ConfigStateFileError(..)
, tryGetConfigStateFile
, platformDefines,
) where
import Prelude ()
import Distribution.Compat.Prelude
import Distribution.Compiler
import Distribution.Types.IncludeRenaming
import Distribution.Utils.NubList
import Distribution.Simple.Compiler hiding (Flag)
import Distribution.Simple.PreProcess
import Distribution.Package
import qualified Distribution.InstalledPackageInfo as Installed
import Distribution.InstalledPackageInfo (InstalledPackageInfo)
import qualified Distribution.Simple.PackageIndex as PackageIndex
import Distribution.Simple.PackageIndex (InstalledPackageIndex)
import Distribution.PackageDescription as PD hiding (Flag)
import Distribution.Types.PackageDescription as PD
import Distribution.PackageDescription.PrettyPrint
import Distribution.PackageDescription.Configuration
import Distribution.PackageDescription.Check hiding (doesFileExist)
import Distribution.Simple.BuildToolDepends
import Distribution.Simple.Program
import Distribution.Simple.Setup as Setup
import Distribution.Simple.BuildTarget
import Distribution.Simple.LocalBuildInfo
import Distribution.Types.ExeDependency
import Distribution.Types.LegacyExeDependency
import Distribution.Types.PkgconfigDependency
import Distribution.Types.PkgconfigVersionRange
import Distribution.Types.LocalBuildInfo
import Distribution.Types.LibraryName
import Distribution.Types.LibraryVisibility
import Distribution.Types.ComponentRequestedSpec
import Distribution.Types.ForeignLib
import Distribution.Types.ForeignLibType
import Distribution.Types.ForeignLibOption
import Distribution.Types.GivenComponent
import Distribution.Types.Mixin
import Distribution.Types.UnqualComponentName
import Distribution.Simple.Utils
import Distribution.System
import Distribution.Version
import Distribution.Verbosity
import qualified Distribution.Compat.Graph as Graph
import Distribution.Compat.Stack
import Distribution.Backpack.Configure
import Distribution.Backpack.DescribeUnitId
import Distribution.Backpack.PreExistingComponent
import Distribution.Backpack.ConfiguredComponent (newPackageDepsBehaviour)
import Distribution.Backpack.Id
import Distribution.Utils.LogProgress
import qualified Distribution.Simple.GHC as GHC
import qualified Distribution.Simple.GHCJS as GHCJS
import qualified Distribution.Simple.UHC as UHC
import qualified Distribution.Simple.HaskellSuite as HaskellSuite
import Control.Exception
( ErrorCall, Exception, evaluate, throw, throwIO, try )
import Control.Monad ( forM, forM_ )
import Distribution.Compat.Binary ( decodeOrFailIO, encode )
import Distribution.Compat.Directory ( listDirectory )
import Data.ByteString.Lazy ( ByteString )
import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy.Char8 as BLC8
import Data.List
( (\\), partition, inits, stripPrefix, intersect )
import Data.Either
( partitionEithers )
import qualified Data.Map as Map
import System.Directory
( canonicalizePath, createDirectoryIfMissing, doesFileExist
, getTemporaryDirectory, removeFile)
import System.FilePath
( (</>), isAbsolute, takeDirectory )
import Distribution.Compat.Directory
( doesPathExist )
import qualified System.Info
( compilerName, compilerVersion )
import System.IO
( hPutStrLn, hClose )
import Distribution.Pretty
( pretty, defaultStyle, prettyShow )
import Distribution.Parsec
( simpleParsec )
import Text.PrettyPrint
( Doc, (<+>), ($+$), char, comma, hsep, nest
, punctuate, quotes, render, renderStyle, sep, text )
import Distribution.Compat.Environment ( lookupEnv )
import Distribution.Compat.Exception ( catchExit, catchIO )
import qualified Data.Set as Set
type UseExternalInternalDeps = Bool
data ConfigStateFileError
=
|
| ConfigStateFileNoParse
| ConfigStateFileMissing
| ConfigStateFileBadVersion PackageIdentifier PackageIdentifier
(Either ConfigStateFileError LocalBuildInfo)
deriving (Typeable)
dispConfigStateFileError :: ConfigStateFileError -> Doc
dispConfigStateFileError :: ConfigStateFileError -> Doc
dispConfigStateFileError ConfigStateFileError
ConfigStateFileNoHeader =
String -> Doc
text String
"Saved package config file header is missing."
Doc -> Doc -> Doc
<+> String -> Doc
text String
"Re-run the 'configure' command."
dispConfigStateFileError ConfigStateFileError
ConfigStateFileBadHeader =
String -> Doc
text String
"Saved package config file header is corrupt."
Doc -> Doc -> Doc
<+> String -> Doc
text String
"Re-run the 'configure' command."
dispConfigStateFileError ConfigStateFileError
ConfigStateFileNoParse =
String -> Doc
text String
"Saved package config file is corrupt."
Doc -> Doc -> Doc
<+> String -> Doc
text String
"Re-run the 'configure' command."
dispConfigStateFileError ConfigStateFileError
ConfigStateFileMissing =
String -> Doc
text String
"Run the 'configure' command first."
dispConfigStateFileError (ConfigStateFileBadVersion PackageIdentifier
oldCabal PackageIdentifier
oldCompiler Either ConfigStateFileError LocalBuildInfo
_) =
String -> Doc
text String
"Saved package config file is outdated:"
Doc -> Doc -> Doc
$+$ Doc
badCabal Doc -> Doc -> Doc
$+$ Doc
badCompiler
Doc -> Doc -> Doc
$+$ String -> Doc
text String
"Re-run the 'configure' command."
where
badCabal :: Doc
badCabal =
String -> Doc
text String
"• the Cabal version changed from"
Doc -> Doc -> Doc
<+> PackageIdentifier -> Doc
forall a. Pretty a => a -> Doc
pretty PackageIdentifier
oldCabal Doc -> Doc -> Doc
<+> Doc
"to" Doc -> Doc -> Doc
<+> PackageIdentifier -> Doc
forall a. Pretty a => a -> Doc
pretty PackageIdentifier
currentCabalId
badCompiler :: Doc
badCompiler
| PackageIdentifier
oldCompiler PackageIdentifier -> PackageIdentifier -> Bool
forall a. Eq a => a -> a -> Bool
== PackageIdentifier
currentCompilerId = Doc
forall a. Monoid a => a
mempty
| Bool
otherwise =
String -> Doc
text String
"• the compiler changed from"
Doc -> Doc -> Doc
<+> PackageIdentifier -> Doc
forall a. Pretty a => a -> Doc
pretty PackageIdentifier
oldCompiler Doc -> Doc -> Doc
<+> Doc
"to" Doc -> Doc -> Doc
<+> PackageIdentifier -> Doc
forall a. Pretty a => a -> Doc
pretty PackageIdentifier
currentCompilerId
instance Show ConfigStateFileError where
show :: ConfigStateFileError -> String
show = Style -> Doc -> String
renderStyle Style
defaultStyle (Doc -> String)
-> (ConfigStateFileError -> Doc) -> ConfigStateFileError -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ConfigStateFileError -> Doc
dispConfigStateFileError
instance Exception ConfigStateFileError
getConfigStateFile :: FilePath
-> IO LocalBuildInfo
getConfigStateFile :: String -> IO LocalBuildInfo
getConfigStateFile String
filename = do
Bool
exists <- String -> IO Bool
doesFileExist String
filename
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless Bool
exists (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ ConfigStateFileError -> IO ()
forall e a. Exception e => e -> IO a
throwIO ConfigStateFileError
ConfigStateFileMissing
ByteString
contents <- String -> IO ByteString
BS.readFile String
filename
let (ByteString
header, ByteString
body) = (Char -> Bool) -> ByteString -> (ByteString, ByteString)
BLC8.span (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
/=Char
'\n') ([ByteString] -> ByteString
BLC8.fromChunks [ByteString
contents])
Either ErrorCall (PackageIdentifier, PackageIdentifier)
headerParseResult <- IO (PackageIdentifier, PackageIdentifier)
-> IO (Either ErrorCall (PackageIdentifier, PackageIdentifier))
forall e a. Exception e => IO a -> IO (Either e a)
try (IO (PackageIdentifier, PackageIdentifier)
-> IO (Either ErrorCall (PackageIdentifier, PackageIdentifier)))
-> IO (PackageIdentifier, PackageIdentifier)
-> IO (Either ErrorCall (PackageIdentifier, PackageIdentifier))
forall a b. (a -> b) -> a -> b
$ (PackageIdentifier, PackageIdentifier)
-> IO (PackageIdentifier, PackageIdentifier)
forall a. a -> IO a
evaluate ((PackageIdentifier, PackageIdentifier)
-> IO (PackageIdentifier, PackageIdentifier))
-> (PackageIdentifier, PackageIdentifier)
-> IO (PackageIdentifier, PackageIdentifier)
forall a b. (a -> b) -> a -> b
$ ByteString -> (PackageIdentifier, PackageIdentifier)
parseHeader ByteString
header
let (PackageIdentifier
cabalId, PackageIdentifier
compId) =
case Either ErrorCall (PackageIdentifier, PackageIdentifier)
headerParseResult of
Left (_ :: ErrorCall) -> ConfigStateFileError -> (PackageIdentifier, PackageIdentifier)
forall a e. Exception e => e -> a
throw ConfigStateFileError
ConfigStateFileBadHeader
Right (PackageIdentifier, PackageIdentifier)
x -> (PackageIdentifier, PackageIdentifier)
x
let getStoredValue :: IO LocalBuildInfo
getStoredValue = do
Either String LocalBuildInfo
result <- ByteString -> IO (Either String LocalBuildInfo)
forall a. Binary a => ByteString -> IO (Either String a)
decodeOrFailIO (ByteString -> ByteString
BLC8.tail ByteString
body)
case Either String LocalBuildInfo
result of
Left String
_ -> ConfigStateFileError -> IO LocalBuildInfo
forall a e. Exception e => e -> a
throw ConfigStateFileError
ConfigStateFileNoParse
Right LocalBuildInfo
x -> LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
x
deferErrorIfBadVersion :: IO LocalBuildInfo -> IO LocalBuildInfo
deferErrorIfBadVersion IO LocalBuildInfo
act
| PackageIdentifier
cabalId PackageIdentifier -> PackageIdentifier -> Bool
forall a. Eq a => a -> a -> Bool
/= PackageIdentifier
currentCabalId = do
Either ConfigStateFileError LocalBuildInfo
eResult <- IO LocalBuildInfo
-> IO (Either ConfigStateFileError LocalBuildInfo)
forall e a. Exception e => IO a -> IO (Either e a)
try IO LocalBuildInfo
act
ConfigStateFileError -> IO LocalBuildInfo
forall a e. Exception e => e -> a
throw (ConfigStateFileError -> IO LocalBuildInfo)
-> ConfigStateFileError -> IO LocalBuildInfo
forall a b. (a -> b) -> a -> b
$ PackageIdentifier
-> PackageIdentifier
-> Either ConfigStateFileError LocalBuildInfo
-> ConfigStateFileError
ConfigStateFileBadVersion PackageIdentifier
cabalId PackageIdentifier
compId Either ConfigStateFileError LocalBuildInfo
eResult
| Bool
otherwise = IO LocalBuildInfo
act
IO LocalBuildInfo -> IO LocalBuildInfo
deferErrorIfBadVersion IO LocalBuildInfo
getStoredValue
where
CallStack
_ = CallStack
HasCallStack => CallStack
callStack
tryGetConfigStateFile :: FilePath
-> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetConfigStateFile :: String -> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetConfigStateFile = 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
. String -> IO LocalBuildInfo
String -> IO LocalBuildInfo
getConfigStateFile
tryGetPersistBuildConfig :: FilePath
-> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetPersistBuildConfig :: String -> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetPersistBuildConfig = 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
. String -> IO LocalBuildInfo
String -> IO LocalBuildInfo
getPersistBuildConfig
getPersistBuildConfig :: FilePath
-> IO LocalBuildInfo
getPersistBuildConfig :: String -> IO LocalBuildInfo
getPersistBuildConfig = String -> IO LocalBuildInfo
String -> IO LocalBuildInfo
getConfigStateFile (String -> IO LocalBuildInfo)
-> ShowS -> String -> IO LocalBuildInfo
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ShowS
localBuildInfoFile
maybeGetPersistBuildConfig :: FilePath
-> IO (Maybe LocalBuildInfo)
maybeGetPersistBuildConfig :: String -> IO (Maybe LocalBuildInfo)
maybeGetPersistBuildConfig =
(Either ConfigStateFileError LocalBuildInfo
-> Maybe LocalBuildInfo)
-> IO (Either ConfigStateFileError LocalBuildInfo)
-> IO (Maybe LocalBuildInfo)
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM ((ConfigStateFileError -> Maybe LocalBuildInfo)
-> (LocalBuildInfo -> Maybe LocalBuildInfo)
-> Either ConfigStateFileError LocalBuildInfo
-> Maybe LocalBuildInfo
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either (Maybe LocalBuildInfo
-> ConfigStateFileError -> Maybe LocalBuildInfo
forall a b. a -> b -> a
const Maybe LocalBuildInfo
forall a. Maybe a
Nothing) LocalBuildInfo -> Maybe LocalBuildInfo
forall a. a -> Maybe a
Just) (IO (Either ConfigStateFileError LocalBuildInfo)
-> IO (Maybe LocalBuildInfo))
-> (String -> IO (Either ConfigStateFileError LocalBuildInfo))
-> String
-> IO (Maybe LocalBuildInfo)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> IO (Either ConfigStateFileError LocalBuildInfo)
String -> IO (Either ConfigStateFileError LocalBuildInfo)
tryGetPersistBuildConfig
writePersistBuildConfig :: FilePath
-> LocalBuildInfo
-> NoCallStackIO ()
writePersistBuildConfig :: String -> LocalBuildInfo -> IO ()
writePersistBuildConfig String
distPref LocalBuildInfo
lbi = do
Bool -> String -> IO ()
createDirectoryIfMissing Bool
False String
distPref
String -> ByteString -> IO ()
writeFileAtomic (ShowS
localBuildInfoFile String
distPref) (ByteString -> IO ()) -> ByteString -> IO ()
forall a b. (a -> b) -> a -> b
$
[ByteString] -> ByteString
BLC8.unlines [PackageIdentifier -> ByteString
showHeader PackageIdentifier
pkgId, LocalBuildInfo -> ByteString
forall a. Binary a => a -> ByteString
encode LocalBuildInfo
lbi]
where
pkgId :: PackageIdentifier
pkgId = LocalBuildInfo -> PackageIdentifier
localPackage LocalBuildInfo
lbi
currentCabalId :: PackageIdentifier
currentCabalId :: PackageIdentifier
currentCabalId = PackageName -> Version -> PackageIdentifier
PackageIdentifier (String -> PackageName
mkPackageName String
"Cabal") Version
cabalVersion
currentCompilerId :: PackageIdentifier
currentCompilerId :: PackageIdentifier
currentCompilerId = PackageName -> Version -> PackageIdentifier
PackageIdentifier (String -> PackageName
mkPackageName String
System.Info.compilerName)
(Version -> Version
mkVersion' Version
System.Info.compilerVersion)
parseHeader :: ByteString
-> (PackageIdentifier, PackageIdentifier)
ByteString
header = case ByteString -> [ByteString]
BLC8.words ByteString
header of
[ByteString
"Saved", ByteString
"package", ByteString
"config", ByteString
"for", ByteString
pkgId, ByteString
"written", ByteString
"by", ByteString
cabalId,
ByteString
"using", ByteString
compId] ->
(PackageIdentifier, PackageIdentifier)
-> Maybe (PackageIdentifier, PackageIdentifier)
-> (PackageIdentifier, PackageIdentifier)
forall a. a -> Maybe a -> a
fromMaybe (ConfigStateFileError -> (PackageIdentifier, PackageIdentifier)
forall a e. Exception e => e -> a
throw ConfigStateFileError
ConfigStateFileBadHeader) (Maybe (PackageIdentifier, PackageIdentifier)
-> (PackageIdentifier, PackageIdentifier))
-> Maybe (PackageIdentifier, PackageIdentifier)
-> (PackageIdentifier, PackageIdentifier)
forall a b. (a -> b) -> a -> b
$ do
PackageIdentifier
_ <- String -> Maybe PackageIdentifier
forall a. Parsec a => String -> Maybe a
simpleParsec (ByteString -> String
fromUTF8LBS ByteString
pkgId) :: Maybe PackageIdentifier
PackageIdentifier
cabalId' <- String -> Maybe PackageIdentifier
forall a. Parsec a => String -> Maybe a
simpleParsec (ByteString -> String
BLC8.unpack ByteString
cabalId)
PackageIdentifier
compId' <- String -> Maybe PackageIdentifier
forall a. Parsec a => String -> Maybe a
simpleParsec (ByteString -> String
BLC8.unpack ByteString
compId)
(PackageIdentifier, PackageIdentifier)
-> Maybe (PackageIdentifier, PackageIdentifier)
forall (m :: * -> *) a. Monad m => a -> m a
return (PackageIdentifier
cabalId', PackageIdentifier
compId')
[ByteString]
_ -> ConfigStateFileError -> (PackageIdentifier, PackageIdentifier)
forall a e. Exception e => e -> a
throw ConfigStateFileError
ConfigStateFileNoHeader
showHeader :: PackageIdentifier
-> ByteString
PackageIdentifier
pkgId = [ByteString] -> ByteString
BLC8.unwords
[ ByteString
"Saved", ByteString
"package", ByteString
"config", ByteString
"for"
, String -> ByteString
toUTF8LBS (String -> ByteString) -> String -> ByteString
forall a b. (a -> b) -> a -> b
$ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow PackageIdentifier
pkgId
, ByteString
"written", ByteString
"by"
, String -> ByteString
BLC8.pack (String -> ByteString) -> String -> ByteString
forall a b. (a -> b) -> a -> b
$ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow PackageIdentifier
currentCabalId
, ByteString
"using"
, String -> ByteString
BLC8.pack (String -> ByteString) -> String -> ByteString
forall a b. (a -> b) -> a -> b
$ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow PackageIdentifier
currentCompilerId
]
checkPersistBuildConfigOutdated :: FilePath -> FilePath -> NoCallStackIO Bool
checkPersistBuildConfigOutdated :: String -> String -> IO Bool
checkPersistBuildConfigOutdated String
distPref String
pkg_descr_file =
String
pkg_descr_file String -> String -> IO Bool
`moreRecentFile` ShowS
localBuildInfoFile String
distPref
localBuildInfoFile :: FilePath
-> FilePath
localBuildInfoFile :: ShowS
localBuildInfoFile String
distPref = String
distPref String -> ShowS
</> String
"setup-config"
findDistPref :: FilePath
-> Setup.Flag FilePath
-> NoCallStackIO FilePath
findDistPref :: String -> Flag String -> NoCallStackIO String
findDistPref String
defDistPref Flag String
overrideDistPref = do
Flag String
envDistPref <- (Maybe String -> Flag String)
-> IO (Maybe String) -> IO (Flag String)
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM Maybe String -> Flag String
forall (t :: * -> *) a. Foldable t => Maybe (t a) -> Flag (t a)
parseEnvDistPref (String -> IO (Maybe String)
lookupEnv String
"CABAL_BUILDDIR")
String -> NoCallStackIO String
forall (m :: * -> *) a. Monad m => a -> m a
return (String -> NoCallStackIO String) -> String -> NoCallStackIO String
forall a b. (a -> b) -> a -> b
$ String -> Flag String -> String
forall a. a -> Flag a -> a
fromFlagOrDefault String
defDistPref (Flag String -> Flag String -> Flag String
forall a. Monoid a => a -> a -> a
mappend Flag String
envDistPref Flag String
overrideDistPref)
where
parseEnvDistPref :: Maybe (t a) -> Flag (t a)
parseEnvDistPref Maybe (t a)
env =
case Maybe (t a)
env of
Just t a
distPref | Bool -> Bool
not (t a -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null t a
distPref) -> t a -> Flag (t a)
forall a. a -> Flag a
toFlag t a
distPref
Maybe (t a)
_ -> Flag (t a)
forall a. Flag a
NoFlag
findDistPrefOrDefault :: Setup.Flag FilePath
-> NoCallStackIO FilePath
findDistPrefOrDefault :: Flag String -> NoCallStackIO String
findDistPrefOrDefault = String -> Flag String -> NoCallStackIO String
findDistPref String
defaultDistPref
configure :: (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags -> IO LocalBuildInfo
configure :: (GenericPackageDescription, HookedBuildInfo)
-> ConfigFlags -> IO LocalBuildInfo
configure (GenericPackageDescription
pkg_descr0, HookedBuildInfo
pbi) ConfigFlags
cfg = do
(Maybe ComponentName
mb_cname :: Maybe ComponentName) <- do
let flat_pkg_descr :: PackageDescription
flat_pkg_descr = GenericPackageDescription -> PackageDescription
flattenPackageDescription GenericPackageDescription
pkg_descr0
[BuildTarget]
targets <- Verbosity -> PackageDescription -> [String] -> IO [BuildTarget]
readBuildTargets Verbosity
verbosity PackageDescription
flat_pkg_descr (ConfigFlags -> [String]
configArgs ConfigFlags
cfg)
let targets' :: [ComponentName]
targets' = [ ComponentName
cname | BuildTargetComponent ComponentName
cname <- [BuildTarget]
targets ]
case [ComponentName]
targets' of
[ComponentName]
_ | [String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ConfigFlags -> [String]
configArgs ConfigFlags
cfg) -> Maybe ComponentName -> IO (Maybe ComponentName)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe ComponentName
forall a. Maybe a
Nothing
[ComponentName
cname] -> Maybe ComponentName -> IO (Maybe ComponentName)
forall (m :: * -> *) a. Monad m => a -> m a
return (ComponentName -> Maybe ComponentName
forall a. a -> Maybe a
Just ComponentName
cname)
[] -> Verbosity -> String -> IO (Maybe ComponentName)
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity String
"No valid component targets found"
[ComponentName]
_ -> Verbosity -> String -> IO (Maybe ComponentName)
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity
String
"Can only configure either single component or all of them"
let use_external_internal_deps :: Bool
use_external_internal_deps = Maybe ComponentName -> Bool
forall a. Maybe a -> Bool
isJust Maybe ComponentName
mb_cname
case Maybe ComponentName
mb_cname of
Maybe ComponentName
Nothing -> Verbosity -> String -> PackageIdentifier -> IO ()
setupMessage Verbosity
verbosity String
"Configuring" (GenericPackageDescription -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId GenericPackageDescription
pkg_descr0)
Just ComponentName
cname -> Verbosity
-> String
-> PackageIdentifier
-> ComponentName
-> Maybe [(ModuleName, Module)]
-> IO ()
forall a.
Pretty a =>
Verbosity
-> String
-> PackageIdentifier
-> ComponentName
-> Maybe [(ModuleName, a)]
-> IO ()
setupMessage' Verbosity
verbosity String
"Configuring" (GenericPackageDescription -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId GenericPackageDescription
pkg_descr0)
ComponentName
cname ([(ModuleName, Module)] -> Maybe [(ModuleName, Module)]
forall a. a -> Maybe a
Just (ConfigFlags -> [(ModuleName, Module)]
configInstantiateWith ConfigFlags
cfg))
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Maybe ComponentId -> Bool
forall a. Maybe a -> Bool
isJust (Flag ComponentId -> Maybe ComponentId
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag ComponentId
configCID ConfigFlags
cfg)) Bool -> Bool -> Bool
&& Maybe ComponentName -> Bool
forall a. Maybe a -> Bool
isNothing Maybe ComponentName
mb_cname) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity String
"--cid is only supported for per-component configure"
Verbosity -> ConfigFlags -> IO ()
checkDeprecatedFlags Verbosity
verbosity ConfigFlags
cfg
Verbosity -> GenericPackageDescription -> ConfigFlags -> IO ()
checkExactConfiguration Verbosity
verbosity GenericPackageDescription
pkg_descr0 ConfigFlags
cfg
let buildDir :: FilePath
buildDir :: String
buildDir = Flag String -> String
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag String
configDistPref ConfigFlags
cfg) String -> ShowS
</> String
"build"
Verbosity -> Bool -> String -> IO ()
createDirectoryIfMissingVerbose (Verbosity -> Verbosity
lessVerbose Verbosity
verbosity) Bool
True String
buildDir
let packageDbs :: PackageDBStack
packageDbs :: PackageDBStack
packageDbs
= Bool -> [Maybe PackageDB] -> PackageDBStack
interpretPackageDbFlags
(Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configUserInstall ConfigFlags
cfg))
(ConfigFlags -> [Maybe PackageDB]
configPackageDBs ConfigFlags
cfg)
(Compiler
comp :: Compiler,
Platform
compPlatform :: Platform,
ProgramDb
programDb :: ProgramDb)
<- Maybe CompilerFlavor
-> Maybe String
-> Maybe String
-> ProgramDb
-> Verbosity
-> IO (Compiler, Platform, ProgramDb)
configCompilerEx
(Flag CompilerFlavor -> Maybe CompilerFlavor
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag CompilerFlavor
configHcFlavor ConfigFlags
cfg))
(Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag String
configHcPath ConfigFlags
cfg))
(Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag String
configHcPkg ConfigFlags
cfg))
(ConfigFlags -> ProgramDb -> ProgramDb
mkProgramDb ConfigFlags
cfg (WithCallStack (ConfigFlags -> ProgramDb)
ConfigFlags -> ProgramDb
configPrograms ConfigFlags
cfg))
(Verbosity -> Verbosity
lessVerbose Verbosity
verbosity)
InstalledPackageIndex
installedPackageSet :: InstalledPackageIndex
<- Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
getInstalledPackages (Verbosity -> Verbosity
lessVerbose Verbosity
verbosity) Compiler
comp
PackageDBStack
packageDbs ProgramDb
programDb
let internalPackageSet :: Map PackageName (Maybe UnqualComponentName)
internalPackageSet :: Map PackageName (Maybe UnqualComponentName)
internalPackageSet = GenericPackageDescription
-> Map PackageName (Maybe UnqualComponentName)
getInternalPackages GenericPackageDescription
pkg_descr0
let enabled :: ComponentRequestedSpec
enabled :: ComponentRequestedSpec
enabled = case Maybe ComponentName
mb_cname of
Just ComponentName
cname -> ComponentName -> ComponentRequestedSpec
OneComponentRequestedSpec ComponentName
cname
Maybe ComponentName
Nothing -> ComponentRequestedSpec :: Bool -> Bool -> ComponentRequestedSpec
ComponentRequestedSpec
{ testsRequested :: Bool
testsRequested = Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configTests ConfigFlags
cfg)
, benchmarksRequested :: Bool
benchmarksRequested =
Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configBenchmarks ConfigFlags
cfg) }
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Maybe ComponentName -> Bool
forall a. Maybe a -> Bool
isJust Maybe ComponentName
mb_cname
Bool -> Bool -> Bool
&& (Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configTests ConfigFlags
cfg) Bool -> Bool -> Bool
|| Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configBenchmarks ConfigFlags
cfg))) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"--enable-tests/--enable-benchmarks are incompatible with" String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
" explicitly specifying a component to configure."
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configDynExe ConfigFlags
cfg) Bool -> Bool -> Bool
&& Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configFullyStaticExe ConfigFlags
cfg)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"--enable-executable-dynamic and --enable-executable-static" String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
" are incompatible with each other."
([Dependency]
allConstraints :: [Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap :: Map (PackageName, ComponentName) InstalledPackageInfo)
<- (String
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo))
-> (([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo))
-> Either
String
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either (Verbosity
-> String
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity) ([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return (Either
String
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo))
-> Either
String
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
-> IO
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
forall a b. (a -> b) -> a -> b
$
[Dependency]
-> [GivenComponent]
-> InstalledPackageIndex
-> Either
String
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
combinedConstraints (ConfigFlags -> [Dependency]
configConstraints ConfigFlags
cfg)
(ConfigFlags -> [GivenComponent]
configDependencies ConfigFlags
cfg)
InstalledPackageIndex
installedPackageSet
(PackageDescription
pkg_descr :: PackageDescription,
FlagAssignment
flags :: FlagAssignment)
<- Verbosity
-> ConfigFlags
-> ComponentRequestedSpec
-> [Dependency]
-> (Dependency -> Bool)
-> Compiler
-> Platform
-> GenericPackageDescription
-> IO (PackageDescription, FlagAssignment)
configureFinalizedPackage Verbosity
verbosity ConfigFlags
cfg ComponentRequestedSpec
enabled
[Dependency]
allConstraints
(Bool
-> Bool
-> Bool
-> PackageName
-> InstalledPackageIndex
-> Map PackageName (Maybe UnqualComponentName)
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> Dependency
-> Bool
dependencySatisfiable
Bool
use_external_internal_deps
(Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (ConfigFlags -> Flag Bool
configExactConfiguration ConfigFlags
cfg))
(Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (ConfigFlags -> Flag Bool
configAllowDependingOnPrivateLibs ConfigFlags
cfg))
(GenericPackageDescription -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName GenericPackageDescription
pkg_descr0)
InstalledPackageIndex
installedPackageSet
Map PackageName (Maybe UnqualComponentName)
internalPackageSet
Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap)
Compiler
comp
Platform
compPlatform
GenericPackageDescription
pkg_descr0
Verbosity -> String -> IO ()
debug Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Finalized package description:\n"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageDescription -> String
showPackageDescription PackageDescription
pkg_descr
let cabalFileDir :: String
cabalFileDir = String -> ShowS -> Maybe String -> String
forall b a. b -> (a -> b) -> Maybe a -> b
maybe String
"." ShowS
takeDirectory (Maybe String -> String) -> Maybe String -> String
forall a b. (a -> b) -> a -> b
$
Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag String
configCabalFilePath ConfigFlags
cfg)
Verbosity
-> Compiler
-> PackageDescription
-> ComponentRequestedSpec
-> IO ()
checkCompilerProblems Verbosity
verbosity Compiler
comp PackageDescription
pkg_descr ComponentRequestedSpec
enabled
Verbosity
-> String
-> GenericPackageDescription
-> PackageDescription
-> IO ()
checkPackageProblems Verbosity
verbosity String
cabalFileDir GenericPackageDescription
pkg_descr0
(HookedBuildInfo -> PackageDescription -> PackageDescription
updatePackageDescription HookedBuildInfo
pbi PackageDescription
pkg_descr)
[PreExistingComponent]
externalPkgDeps :: [PreExistingComponent]
<- Verbosity
-> Bool
-> Map PackageName (Maybe UnqualComponentName)
-> InstalledPackageIndex
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> PackageDescription
-> ComponentRequestedSpec
-> IO [PreExistingComponent]
configureDependencies
Verbosity
verbosity
Bool
use_external_internal_deps
Map PackageName (Maybe UnqualComponentName)
internalPackageSet
InstalledPackageIndex
installedPackageSet
Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap
PackageDescription
pkg_descr
ComponentRequestedSpec
enabled
InstallDirTemplates
defaultDirs :: InstallDirTemplates
<- Bool -> CompilerFlavor -> Bool -> Bool -> IO InstallDirTemplates
defaultInstallDirs' Bool
use_external_internal_deps
(Compiler -> CompilerFlavor
compilerFlavor Compiler
comp)
(Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configUserInstall ConfigFlags
cfg))
(PackageDescription -> Bool
hasLibs PackageDescription
pkg_descr)
let installDirs :: InstallDirTemplates
installDirs :: InstallDirTemplates
installDirs = (PathTemplate -> Flag PathTemplate -> PathTemplate)
-> InstallDirTemplates
-> InstallDirs (Flag PathTemplate)
-> InstallDirTemplates
forall a b c.
(a -> b -> c) -> InstallDirs a -> InstallDirs b -> InstallDirs c
combineInstallDirs PathTemplate -> Flag PathTemplate -> PathTemplate
forall a. a -> Flag a -> a
fromFlagOrDefault
InstallDirTemplates
defaultDirs (ConfigFlags -> InstallDirs (Flag PathTemplate)
configInstallDirs ConfigFlags
cfg)
let langlist :: [Language]
langlist = [Language] -> [Language]
forall a. Eq a => [a] -> [a]
nub ([Language] -> [Language]) -> [Language] -> [Language]
forall a b. (a -> b) -> a -> b
$ [Maybe Language] -> [Language]
forall a. [Maybe a] -> [a]
catMaybes ([Maybe Language] -> [Language]) -> [Maybe Language] -> [Language]
forall a b. (a -> b) -> a -> b
$ (BuildInfo -> Maybe Language) -> [BuildInfo] -> [Maybe Language]
forall a b. (a -> b) -> [a] -> [b]
map BuildInfo -> Maybe Language
defaultLanguage
(PackageDescription -> ComponentRequestedSpec -> [BuildInfo]
enabledBuildInfos PackageDescription
pkg_descr ComponentRequestedSpec
enabled)
let langs :: [Language]
langs = Compiler -> [Language] -> [Language]
unsupportedLanguages Compiler
comp [Language]
langlist
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not ([Language] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Language]
langs)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"The package " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow (GenericPackageDescription -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId GenericPackageDescription
pkg_descr0)
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" requires the following languages which are not "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"supported by " String -> ShowS
forall a. [a] -> [a] -> [a]
++ CompilerId -> String
forall a. Pretty a => a -> String
prettyShow (Compiler -> CompilerId
compilerId Compiler
comp) String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
": "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", " ((Language -> String) -> [Language] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map Language -> String
forall a. Pretty a => a -> String
prettyShow [Language]
langs)
let extlist :: [Extension]
extlist = [Extension] -> [Extension]
forall a. Eq a => [a] -> [a]
nub ([Extension] -> [Extension]) -> [Extension] -> [Extension]
forall a b. (a -> b) -> a -> b
$ (BuildInfo -> [Extension]) -> [BuildInfo] -> [Extension]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap BuildInfo -> [Extension]
allExtensions
(PackageDescription -> ComponentRequestedSpec -> [BuildInfo]
enabledBuildInfos PackageDescription
pkg_descr ComponentRequestedSpec
enabled)
let exts :: [Extension]
exts = Compiler -> [Extension] -> [Extension]
unsupportedExtensions Compiler
comp [Extension]
extlist
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not ([Extension] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [Extension]
exts)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"The package " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow (GenericPackageDescription -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId GenericPackageDescription
pkg_descr0)
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" requires the following language extensions which are not "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"supported by " String -> ShowS
forall a. [a] -> [a] -> [a]
++ CompilerId -> String
forall a. Pretty a => a -> String
prettyShow (Compiler -> CompilerId
compilerId Compiler
comp) String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
": "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", " ((Extension -> String) -> [Extension] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map Extension -> String
forall a. Pretty a => a -> String
prettyShow [Extension]
exts)
let flibs :: [ForeignLib]
flibs = [ForeignLib
flib | CFLib ForeignLib
flib <- PackageDescription -> ComponentRequestedSpec -> [Component]
enabledComponents PackageDescription
pkg_descr ComponentRequestedSpec
enabled]
let unsupportedFLibs :: [String]
unsupportedFLibs = Compiler -> Platform -> [ForeignLib] -> [String]
unsupportedForeignLibs Compiler
comp Platform
compPlatform [ForeignLib]
flibs
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not ([String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [String]
unsupportedFLibs)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Cannot build some foreign libraries: "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
"," [String]
unsupportedFLibs
let requiredBuildTools :: [LegacyExeDependency]
requiredBuildTools = do
BuildInfo
bi <- PackageDescription -> ComponentRequestedSpec -> [BuildInfo]
enabledBuildInfos PackageDescription
pkg_descr ComponentRequestedSpec
enabled
let externBuildToolDeps :: [LegacyExeDependency]
externBuildToolDeps =
[ String -> VersionRange -> LegacyExeDependency
LegacyExeDependency (UnqualComponentName -> String
unUnqualComponentName UnqualComponentName
eName) VersionRange
versionRange
| buildTool :: ExeDependency
buildTool@(ExeDependency PackageName
_ UnqualComponentName
eName VersionRange
versionRange)
<- PackageDescription -> BuildInfo -> [ExeDependency]
getAllToolDependencies PackageDescription
pkg_descr BuildInfo
bi
, Bool -> Bool
not (Bool -> Bool) -> Bool -> Bool
forall a b. (a -> b) -> a -> b
$ PackageDescription -> ExeDependency -> Bool
isInternal PackageDescription
pkg_descr ExeDependency
buildTool ]
let unknownBuildTools :: [LegacyExeDependency]
unknownBuildTools =
[ LegacyExeDependency
buildTool
| LegacyExeDependency
buildTool <- BuildInfo -> [LegacyExeDependency]
buildTools BuildInfo
bi
, Maybe ExeDependency
forall a. Maybe a
Nothing Maybe ExeDependency -> Maybe ExeDependency -> Bool
forall a. Eq a => a -> a -> Bool
== PackageDescription -> LegacyExeDependency -> Maybe ExeDependency
desugarBuildTool PackageDescription
pkg_descr LegacyExeDependency
buildTool ]
[LegacyExeDependency]
externBuildToolDeps [LegacyExeDependency]
-> [LegacyExeDependency] -> [LegacyExeDependency]
forall a. [a] -> [a] -> [a]
++ [LegacyExeDependency]
unknownBuildTools
ProgramDb
programDb' <-
Verbosity -> ProgramDb -> IO ProgramDb
configureAllKnownPrograms (Verbosity -> Verbosity
lessVerbose Verbosity
verbosity) ProgramDb
programDb
IO ProgramDb -> (ProgramDb -> IO ProgramDb) -> IO ProgramDb
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= Verbosity -> [LegacyExeDependency] -> ProgramDb -> IO ProgramDb
configureRequiredPrograms Verbosity
verbosity [LegacyExeDependency]
requiredBuildTools
(PackageDescription
pkg_descr', ProgramDb
programDb'') <-
Verbosity
-> PackageDescription
-> ProgramDb
-> ComponentRequestedSpec
-> IO (PackageDescription, ProgramDb)
configurePkgconfigPackages Verbosity
verbosity PackageDescription
pkg_descr ProgramDb
programDb' ComponentRequestedSpec
enabled
([ComponentLocalBuildInfo]
buildComponents :: [ComponentLocalBuildInfo],
InstalledPackageIndex
packageDependsIndex :: InstalledPackageIndex) <-
Verbosity
-> LogProgress ([ComponentLocalBuildInfo], InstalledPackageIndex)
-> NoCallStackIO ([ComponentLocalBuildInfo], InstalledPackageIndex)
forall a. Verbosity -> LogProgress a -> NoCallStackIO a
runLogProgress Verbosity
verbosity (LogProgress ([ComponentLocalBuildInfo], InstalledPackageIndex)
-> NoCallStackIO
([ComponentLocalBuildInfo], InstalledPackageIndex))
-> LogProgress ([ComponentLocalBuildInfo], InstalledPackageIndex)
-> NoCallStackIO ([ComponentLocalBuildInfo], InstalledPackageIndex)
forall a b. (a -> b) -> a -> b
$ Verbosity
-> Bool
-> ComponentRequestedSpec
-> Bool
-> Flag String
-> Flag ComponentId
-> PackageDescription
-> [PreExistingComponent]
-> FlagAssignment
-> [(ModuleName, Module)]
-> InstalledPackageIndex
-> Compiler
-> LogProgress ([ComponentLocalBuildInfo], InstalledPackageIndex)
configureComponentLocalBuildInfos
Verbosity
verbosity
Bool
use_external_internal_deps
ComponentRequestedSpec
enabled
(Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (ConfigFlags -> Flag Bool
configDeterministic ConfigFlags
cfg))
(ConfigFlags -> Flag String
configIPID ConfigFlags
cfg)
(ConfigFlags -> Flag ComponentId
configCID ConfigFlags
cfg)
PackageDescription
pkg_descr
[PreExistingComponent]
externalPkgDeps
(ConfigFlags -> FlagAssignment
configConfigurationsFlags ConfigFlags
cfg)
(ConfigFlags -> [(ModuleName, Module)]
configInstantiateWith ConfigFlags
cfg)
InstalledPackageIndex
installedPackageSet
Compiler
comp
Bool
split_sections :: Bool <-
if Bool -> Bool
not (Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configSplitSections ConfigFlags
cfg)
then Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
else case Compiler -> CompilerFlavor
compilerFlavor Compiler
comp of
CompilerFlavor
GHC | Compiler -> Version
compilerVersion Compiler
comp Version -> Version -> Bool
forall a. Ord a => a -> a -> Bool
>= [Int] -> Version
mkVersion [Int
8,Int
0]
-> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
True
CompilerFlavor
GHCJS
-> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
True
CompilerFlavor
_ -> do Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"this compiler does not support " String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
"--enable-split-sections; ignoring")
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
Bool
split_objs :: Bool <-
if Bool -> Bool
not (Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configSplitObjs ConfigFlags
cfg)
then Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
else case Compiler -> CompilerFlavor
compilerFlavor Compiler
comp of
CompilerFlavor
_ | Bool
split_sections
-> do Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"--enable-split-sections and " String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
"--enable-split-objs are mutually" String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
"exclusive; ignoring the latter")
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
CompilerFlavor
GHC
-> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
True
CompilerFlavor
GHCJS
-> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
True
CompilerFlavor
_ -> do Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"this compiler does not support " String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
"--enable-split-objs; ignoring")
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
let ghciLibByDefault :: Bool
ghciLibByDefault =
case Compiler -> CompilerId
compilerId Compiler
comp of
CompilerId CompilerFlavor
GHC Version
_ ->
Bool -> Bool
not (Compiler -> Bool
GHC.isDynamic Compiler
comp)
CompilerId CompilerFlavor
GHCJS Version
_ ->
Bool -> Bool
not (Compiler -> Bool
GHCJS.isDynamic Compiler
comp)
CompilerId
_ -> Bool
False
let sharedLibsByDefault :: Bool
sharedLibsByDefault
| Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configDynExe ConfigFlags
cfg) =
Bool
True
| Bool
otherwise = case Compiler -> CompilerId
compilerId Compiler
comp of
CompilerId CompilerFlavor
GHC Version
_ ->
Compiler -> Bool
GHC.isDynamic Compiler
comp
CompilerId CompilerFlavor
GHCJS Version
_ ->
Compiler -> Bool
GHCJS.isDynamic Compiler
comp
CompilerId
_ -> Bool
False
withSharedLib_ :: Bool
withSharedLib_ =
Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
sharedLibsByDefault (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configSharedLib ConfigFlags
cfg
withStaticLib_ :: Bool
withStaticLib_ =
Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configStaticLib ConfigFlags
cfg
withDynExe_ :: Bool
withDynExe_ = Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configDynExe ConfigFlags
cfg
withFullyStaticExe_ :: Bool
withFullyStaticExe_ = Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configFullyStaticExe ConfigFlags
cfg
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool
withDynExe_ Bool -> Bool -> Bool
&& Bool -> Bool
not Bool
withSharedLib_) (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
$
String
"Executables will use dynamic linking, but a shared library "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"is not being built. Linking will fail if any executables "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"depend on the library."
LocalBuildInfo -> LocalBuildInfo
setProfLBI <- Verbosity
-> ConfigFlags -> Compiler -> IO (LocalBuildInfo -> LocalBuildInfo)
configureProfiling Verbosity
verbosity ConfigFlags
cfg Compiler
comp
LocalBuildInfo -> LocalBuildInfo
setCoverageLBI <- Verbosity
-> ConfigFlags -> Compiler -> IO (LocalBuildInfo -> LocalBuildInfo)
configureCoverage Verbosity
verbosity ConfigFlags
cfg Compiler
comp
let
strip_libexe :: String -> (ConfigFlags -> Flag Bool) -> IO Bool
strip_libexe String
s ConfigFlags -> Flag Bool
f =
let defaultStrip :: Bool
defaultStrip = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
True (ConfigFlags -> Flag Bool
f ConfigFlags
cfg)
in case Flag DebugInfoLevel -> DebugInfoLevel
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag DebugInfoLevel
configDebugInfo ConfigFlags
cfg) of
DebugInfoLevel
NoDebugInfo -> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
defaultStrip
DebugInfoLevel
_ -> case ConfigFlags -> Flag Bool
f ConfigFlags
cfg of
Flag Bool
True -> do
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Setting debug-info implies "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
s String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"-stripping: False"
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
Flag Bool
_ -> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False
Bool
strip_lib <- String -> (ConfigFlags -> Flag Bool) -> IO Bool
strip_libexe String
"library" ConfigFlags -> Flag Bool
configStripLibs
Bool
strip_exe <- String -> (ConfigFlags -> Flag Bool) -> IO Bool
strip_libexe String
"executable" ConfigFlags -> Flag Bool
configStripExes
let reloc :: Bool
reloc = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configRelocatable ConfigFlags
cfg
let buildComponentsMap :: Map ComponentName [ComponentLocalBuildInfo]
buildComponentsMap =
(Map ComponentName [ComponentLocalBuildInfo]
-> ComponentLocalBuildInfo
-> Map ComponentName [ComponentLocalBuildInfo])
-> Map ComponentName [ComponentLocalBuildInfo]
-> [ComponentLocalBuildInfo]
-> Map ComponentName [ComponentLocalBuildInfo]
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\Map ComponentName [ComponentLocalBuildInfo]
m ComponentLocalBuildInfo
clbi -> ([ComponentLocalBuildInfo]
-> [ComponentLocalBuildInfo] -> [ComponentLocalBuildInfo])
-> ComponentName
-> [ComponentLocalBuildInfo]
-> Map ComponentName [ComponentLocalBuildInfo]
-> Map ComponentName [ComponentLocalBuildInfo]
forall k a. Ord k => (a -> a -> a) -> k -> a -> Map k a -> Map k a
Map.insertWith [ComponentLocalBuildInfo]
-> [ComponentLocalBuildInfo] -> [ComponentLocalBuildInfo]
forall a. [a] -> [a] -> [a]
(++)
(ComponentLocalBuildInfo -> ComponentName
componentLocalName ComponentLocalBuildInfo
clbi) [ComponentLocalBuildInfo
clbi] Map ComponentName [ComponentLocalBuildInfo]
m)
Map ComponentName [ComponentLocalBuildInfo]
forall k a. Map k a
Map.empty [ComponentLocalBuildInfo]
buildComponents
let lbi :: LocalBuildInfo
lbi = (LocalBuildInfo -> LocalBuildInfo
setCoverageLBI (LocalBuildInfo -> LocalBuildInfo)
-> (LocalBuildInfo -> LocalBuildInfo)
-> LocalBuildInfo
-> LocalBuildInfo
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LocalBuildInfo -> LocalBuildInfo
setProfLBI)
LocalBuildInfo :: ConfigFlags
-> FlagAssignment
-> ComponentRequestedSpec
-> [String]
-> InstallDirTemplates
-> Compiler
-> Platform
-> String
-> Maybe String
-> Graph ComponentLocalBuildInfo
-> Map ComponentName [ComponentLocalBuildInfo]
-> InstalledPackageIndex
-> Maybe String
-> PackageDescription
-> ProgramDb
-> PackageDBStack
-> Bool
-> Bool
-> Bool
-> Bool
-> Bool
-> Bool
-> Bool
-> ProfDetailLevel
-> ProfDetailLevel
-> OptimisationLevel
-> DebugInfoLevel
-> Bool
-> Bool
-> Bool
-> Bool
-> Bool
-> Bool
-> Bool
-> PathTemplate
-> PathTemplate
-> Bool
-> LocalBuildInfo
LocalBuildInfo {
configFlags :: ConfigFlags
configFlags = ConfigFlags
cfg,
flagAssignment :: FlagAssignment
flagAssignment = FlagAssignment
flags,
componentEnabledSpec :: ComponentRequestedSpec
componentEnabledSpec = ComponentRequestedSpec
enabled,
extraConfigArgs :: [String]
extraConfigArgs = [],
installDirTemplates :: InstallDirTemplates
installDirTemplates = InstallDirTemplates
installDirs,
compiler :: Compiler
compiler = Compiler
comp,
hostPlatform :: Platform
hostPlatform = Platform
compPlatform,
buildDir :: String
buildDir = String
buildDir,
cabalFilePath :: Maybe String
cabalFilePath = Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag String
configCabalFilePath ConfigFlags
cfg),
componentGraph :: Graph ComponentLocalBuildInfo
componentGraph = [ComponentLocalBuildInfo] -> Graph ComponentLocalBuildInfo
forall a. (IsNode a, Show (Key a)) => [a] -> Graph a
Graph.fromDistinctList [ComponentLocalBuildInfo]
buildComponents,
componentNameMap :: Map ComponentName [ComponentLocalBuildInfo]
componentNameMap = Map ComponentName [ComponentLocalBuildInfo]
buildComponentsMap,
installedPkgs :: InstalledPackageIndex
installedPkgs = InstalledPackageIndex
packageDependsIndex,
pkgDescrFile :: Maybe String
pkgDescrFile = Maybe String
forall a. Maybe a
Nothing,
localPkgDescr :: PackageDescription
localPkgDescr = PackageDescription
pkg_descr',
withPrograms :: ProgramDb
withPrograms = ProgramDb
programDb'',
withVanillaLib :: Bool
withVanillaLib = Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configVanillaLib ConfigFlags
cfg,
withSharedLib :: Bool
withSharedLib = Bool
withSharedLib_,
withStaticLib :: Bool
withStaticLib = Bool
withStaticLib_,
withDynExe :: Bool
withDynExe = Bool
withDynExe_,
withFullyStaticExe :: Bool
withFullyStaticExe = Bool
withFullyStaticExe_,
withProfLib :: Bool
withProfLib = Bool
False,
withProfLibDetail :: ProfDetailLevel
withProfLibDetail = ProfDetailLevel
ProfDetailNone,
withProfExe :: Bool
withProfExe = Bool
False,
withProfExeDetail :: ProfDetailLevel
withProfExeDetail = ProfDetailLevel
ProfDetailNone,
withOptimization :: OptimisationLevel
withOptimization = Flag OptimisationLevel -> OptimisationLevel
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag OptimisationLevel -> OptimisationLevel)
-> Flag OptimisationLevel -> OptimisationLevel
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag OptimisationLevel
configOptimization ConfigFlags
cfg,
withDebugInfo :: DebugInfoLevel
withDebugInfo = Flag DebugInfoLevel -> DebugInfoLevel
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag DebugInfoLevel -> DebugInfoLevel)
-> Flag DebugInfoLevel -> DebugInfoLevel
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag DebugInfoLevel
configDebugInfo ConfigFlags
cfg,
withGHCiLib :: Bool
withGHCiLib = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
ghciLibByDefault (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$
ConfigFlags -> Flag Bool
configGHCiLib ConfigFlags
cfg,
splitSections :: Bool
splitSections = Bool
split_sections,
splitObjs :: Bool
splitObjs = Bool
split_objs,
stripExes :: Bool
stripExes = Bool
strip_exe,
stripLibs :: Bool
stripLibs = Bool
strip_lib,
exeCoverage :: Bool
exeCoverage = Bool
False,
libCoverage :: Bool
libCoverage = Bool
False,
withPackageDB :: PackageDBStack
withPackageDB = PackageDBStack
packageDbs,
progPrefix :: PathTemplate
progPrefix = Flag PathTemplate -> PathTemplate
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag PathTemplate -> PathTemplate)
-> Flag PathTemplate -> PathTemplate
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag PathTemplate
configProgPrefix ConfigFlags
cfg,
progSuffix :: PathTemplate
progSuffix = Flag PathTemplate -> PathTemplate
forall a. WithCallStack (Flag a -> a)
fromFlag (Flag PathTemplate -> PathTemplate)
-> Flag PathTemplate -> PathTemplate
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag PathTemplate
configProgSuffix ConfigFlags
cfg,
relocatable :: Bool
relocatable = Bool
reloc
}
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
reloc (Verbosity -> PackageDescription -> LocalBuildInfo -> IO ()
checkRelocatable Verbosity
verbosity PackageDescription
pkg_descr LocalBuildInfo
lbi)
let dirs :: InstallDirs String
dirs = PackageDescription
-> LocalBuildInfo -> CopyDest -> InstallDirs String
absoluteInstallDirs PackageDescription
pkg_descr LocalBuildInfo
lbi CopyDest
NoCopyDest
relative :: InstallDirs (Maybe String)
relative = PackageIdentifier -> LocalBuildInfo -> InstallDirs (Maybe String)
prefixRelativeInstallDirs (PackageDescription -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId PackageDescription
pkg_descr) LocalBuildInfo
lbi
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (String -> Bool
isAbsolute (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
dirs)
Bool -> Bool -> Bool
|| String
"${pkgroot}" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isPrefixOf` InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
dirs) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"expected an absolute directory name for --prefix: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
dirs
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (String
"${pkgroot}" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isPrefixOf` InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
dirs) (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
$ String
"Using ${pkgroot} in prefix " String -> ShowS
forall a. [a] -> [a] -> [a]
++ InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
dirs
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" will not work if you rely on the Path_* module "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" or other hard coded paths. Cabal does not yet "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" support fully relocatable builds! "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" See #462 #2302 #2994 #3305 #3473 #3586 #3909"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" #4097 #4291 #4872"
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Using " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow PackageIdentifier
currentCabalId
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" compiled by " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow PackageIdentifier
currentCompilerId
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Using compiler: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Compiler -> String
showCompilerId Compiler
comp
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Using install prefix: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
dirs
let dirinfo :: String -> String -> Maybe a -> IO ()
dirinfo String
name String
dir Maybe a
isPrefixRelative =
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
name String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" installed in: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
dir String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
relNote
where relNote :: String
relNote = case OS
buildOS of
OS
Windows | Bool -> Bool
not (PackageDescription -> Bool
hasLibs PackageDescription
pkg_descr)
Bool -> Bool -> Bool
&& Maybe a -> Bool
forall a. Maybe a -> Bool
isNothing Maybe a
isPrefixRelative
-> String
" (fixed location)"
OS
_ -> String
""
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Executables" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
bindir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
bindir InstallDirs (Maybe String)
relative)
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Libraries" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
libdir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
libdir InstallDirs (Maybe String)
relative)
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Dynamic Libraries" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
dynlibdir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
dynlibdir InstallDirs (Maybe String)
relative)
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Private executables" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
libexecdir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
libexecdir InstallDirs (Maybe String)
relative)
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Data files" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
datadir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
datadir InstallDirs (Maybe String)
relative)
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Documentation" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
docdir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
docdir InstallDirs (Maybe String)
relative)
String -> String -> Maybe String -> IO ()
forall a. String -> String -> Maybe a -> IO ()
dirinfo String
"Configuration files" (InstallDirs String -> String
forall dir. InstallDirs dir -> dir
sysconfdir InstallDirs String
dirs) (InstallDirs (Maybe String) -> Maybe String
forall dir. InstallDirs dir -> dir
sysconfdir InstallDirs (Maybe String)
relative)
[IO ()] -> IO ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
t (m a) -> m ()
sequence_ [ Verbosity -> Program -> Maybe ConfiguredProgram -> IO ()
reportProgram Verbosity
verbosity Program
prog Maybe ConfiguredProgram
configuredProg
| (Program
prog, Maybe ConfiguredProgram
configuredProg) <- ProgramDb -> [(Program, Maybe ConfiguredProgram)]
knownPrograms ProgramDb
programDb'' ]
LocalBuildInfo -> IO LocalBuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo
lbi
where
verbosity :: Verbosity
verbosity = Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
cfg)
mkProgramDb :: ConfigFlags -> ProgramDb -> ProgramDb
mkProgramDb :: ConfigFlags -> ProgramDb -> ProgramDb
mkProgramDb ConfigFlags
cfg ProgramDb
initialProgramDb = ProgramDb
programDb
where
programDb :: ProgramDb
programDb = [(String, [String])] -> ProgramDb -> ProgramDb
userSpecifyArgss (ConfigFlags -> [(String, [String])]
configProgramArgs ConfigFlags
cfg)
(ProgramDb -> ProgramDb)
-> (ProgramDb -> ProgramDb) -> ProgramDb -> ProgramDb
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(String, String)] -> ProgramDb -> ProgramDb
userSpecifyPaths (ConfigFlags -> [(String, String)]
configProgramPaths ConfigFlags
cfg)
(ProgramDb -> ProgramDb)
-> (ProgramDb -> ProgramDb) -> ProgramDb -> ProgramDb
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ProgramSearchPath -> ProgramDb -> ProgramDb
setProgramSearchPath ProgramSearchPath
searchpath
(ProgramDb -> ProgramDb) -> ProgramDb -> ProgramDb
forall a b. (a -> b) -> a -> b
$ ProgramDb
initialProgramDb
searchpath :: ProgramSearchPath
searchpath = ProgramDb -> ProgramSearchPath
getProgramSearchPath ProgramDb
initialProgramDb
ProgramSearchPath -> ProgramSearchPath -> ProgramSearchPath
forall a. [a] -> [a] -> [a]
++ (String -> ProgramSearchPathEntry) -> [String] -> ProgramSearchPath
forall a b. (a -> b) -> [a] -> [b]
map String -> ProgramSearchPathEntry
ProgramSearchPathDir
(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
cfg)
checkDeprecatedFlags :: Verbosity -> ConfigFlags -> IO ()
checkDeprecatedFlags :: Verbosity -> ConfigFlags -> IO ()
checkDeprecatedFlags Verbosity
verbosity ConfigFlags
cfg = do
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (ConfigFlags -> Flag Bool
configProfExe ConfigFlags
cfg Flag Bool -> Flag Bool -> Bool
forall a. Eq a => a -> a -> Bool
== Flag Bool
forall a. Flag a
NoFlag) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
let enable :: String
enable | Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configProfExe ConfigFlags
cfg) = String
"enable"
| Bool
otherwise = String
"disable"
Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"The flag --" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
enable String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"-executable-profiling is deprecated. "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"Please use --" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
enable String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"-profiling instead.")
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (ConfigFlags -> Flag Bool
configLibCoverage ConfigFlags
cfg Flag Bool -> Flag Bool -> Bool
forall a. Eq a => a -> a -> Bool
== Flag Bool
forall a. Flag a
NoFlag) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
let enable :: String
enable | Flag Bool -> Bool
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Bool
configLibCoverage ConfigFlags
cfg) = String
"enable"
| Bool
otherwise = String
"disable"
Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"The flag --" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
enable String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"-library-coverage is deprecated. "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"Please use --" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
enable String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"-coverage instead.")
checkExactConfiguration
:: Verbosity -> GenericPackageDescription -> ConfigFlags -> IO ()
checkExactConfiguration :: Verbosity -> GenericPackageDescription -> ConfigFlags -> IO ()
checkExactConfiguration Verbosity
verbosity GenericPackageDescription
pkg_descr0 ConfigFlags
cfg =
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (ConfigFlags -> Flag Bool
configExactConfiguration ConfigFlags
cfg)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ do
let cmdlineFlags :: [FlagName]
cmdlineFlags = ((FlagName, Bool) -> FlagName) -> [(FlagName, Bool)] -> [FlagName]
forall a b. (a -> b) -> [a] -> [b]
map (FlagName, Bool) -> FlagName
forall a b. (a, b) -> a
fst (FlagAssignment -> [(FlagName, Bool)]
unFlagAssignment (ConfigFlags -> FlagAssignment
configConfigurationsFlags ConfigFlags
cfg))
allFlags :: [FlagName]
allFlags = (Flag -> FlagName) -> [Flag] -> [FlagName]
forall a b. (a -> b) -> [a] -> [b]
map Flag -> FlagName
flagName ([Flag] -> [FlagName])
-> (GenericPackageDescription -> [Flag])
-> GenericPackageDescription
-> [FlagName]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. GenericPackageDescription -> [Flag]
genPackageFlags (GenericPackageDescription -> [FlagName])
-> GenericPackageDescription -> [FlagName]
forall a b. (a -> b) -> a -> b
$ GenericPackageDescription
pkg_descr0
diffFlags :: [FlagName]
diffFlags = [FlagName]
allFlags [FlagName] -> [FlagName] -> [FlagName]
forall a. Eq a => [a] -> [a] -> [a]
\\ [FlagName]
cmdlineFlags
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not (Bool -> Bool) -> ([FlagName] -> Bool) -> [FlagName] -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [FlagName] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null ([FlagName] -> Bool) -> [FlagName] -> Bool
forall a b. (a -> b) -> a -> b
$ [FlagName]
diffFlags) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"'--exact-configuration' was given, "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"but the following flags were not specified: "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", " ((FlagName -> String) -> [FlagName] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map FlagName -> String
forall a. Show a => a -> String
show [FlagName]
diffFlags)
getInternalPackages :: GenericPackageDescription
-> Map PackageName (Maybe UnqualComponentName)
getInternalPackages :: GenericPackageDescription
-> Map PackageName (Maybe UnqualComponentName)
getInternalPackages GenericPackageDescription
pkg_descr0 =
let pkg_descr :: PackageDescription
pkg_descr = GenericPackageDescription -> PackageDescription
flattenPackageDescription GenericPackageDescription
pkg_descr0
f :: Library -> (PackageName, Maybe UnqualComponentName)
f Library
lib = case Library -> LibraryName
libName Library
lib of
LibraryName
LMainLibName -> (PackageDescription -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName PackageDescription
pkg_descr, Maybe UnqualComponentName
forall a. Maybe a
Nothing)
LSubLibName UnqualComponentName
n' -> (UnqualComponentName -> PackageName
unqualComponentNameToPackageName UnqualComponentName
n', UnqualComponentName -> Maybe UnqualComponentName
forall a. a -> Maybe a
Just UnqualComponentName
n')
in [(PackageName, Maybe UnqualComponentName)]
-> Map PackageName (Maybe UnqualComponentName)
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList ((Library -> (PackageName, Maybe UnqualComponentName))
-> [Library] -> [(PackageName, Maybe UnqualComponentName)]
forall a b. (a -> b) -> [a] -> [b]
map Library -> (PackageName, Maybe UnqualComponentName)
f (PackageDescription -> [Library]
allLibraries PackageDescription
pkg_descr))
dependencySatisfiable
:: Bool
-> Bool
-> Bool
-> PackageName
-> InstalledPackageIndex
-> Map PackageName (Maybe UnqualComponentName)
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> (Dependency -> Bool)
dependencySatisfiable :: Bool
-> Bool
-> Bool
-> PackageName
-> InstalledPackageIndex
-> Map PackageName (Maybe UnqualComponentName)
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> Dependency
-> Bool
dependencySatisfiable
Bool
use_external_internal_deps
Bool
exact_config
Bool
allow_private_deps
PackageName
pn InstalledPackageIndex
installedPackageSet Map PackageName (Maybe UnqualComponentName)
internalPackageSet Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap
(Dependency PackageName
depName VersionRange
vr Set LibraryName
sublibs)
| Bool
exact_config
= if Bool
isInternalDep Bool -> Bool -> Bool
&& Bool -> Bool
not Bool
use_external_internal_deps
then Bool
True
else
(Set LibraryName
sublibs Set LibraryName -> Set LibraryName -> Bool
forall a. Eq a => a -> a -> Bool
== LibraryName -> Set LibraryName
forall a. a -> Set a
Set.singleton LibraryName
LMainLibName
Bool -> Bool -> Bool
&& (PackageName, ComponentName)
-> Map (PackageName, ComponentName) InstalledPackageInfo -> Bool
forall k a. Ord k => k -> Map k a -> Bool
Map.member
(PackageName
pn, LibraryName -> ComponentName
CLibName (LibraryName -> ComponentName) -> LibraryName -> ComponentName
forall a b. (a -> b) -> a -> b
$ UnqualComponentName -> LibraryName
LSubLibName (UnqualComponentName -> LibraryName)
-> UnqualComponentName -> LibraryName
forall a b. (a -> b) -> a -> b
$
PackageName -> UnqualComponentName
packageNameToUnqualComponentName PackageName
depName)
Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap)
Bool -> Bool -> Bool
|| (LibraryName -> Bool) -> Set LibraryName -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all LibraryName -> Bool
visible Set LibraryName
sublibs
| Bool
isInternalDep
= if Bool
use_external_internal_deps
then Bool
internalDepSatisfiable
else Bool
True
| Bool
otherwise
= Bool
depSatisfiable
where
isInternalDep :: Bool
isInternalDep = PackageName -> Map PackageName (Maybe UnqualComponentName) -> Bool
forall k a. Ord k => k -> Map k a -> Bool
Map.member PackageName
depName Map PackageName (Maybe UnqualComponentName)
internalPackageSet
depSatisfiable :: Bool
depSatisfiable =
Bool -> Bool
not (Bool -> Bool)
-> ([(Version, [InstalledPackageInfo])] -> Bool)
-> [(Version, [InstalledPackageInfo])]
-> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Version, [InstalledPackageInfo])] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null ([(Version, [InstalledPackageInfo])] -> Bool)
-> [(Version, [InstalledPackageInfo])] -> Bool
forall a b. (a -> b) -> a -> b
$ InstalledPackageIndex
-> PackageName
-> VersionRange
-> [(Version, [InstalledPackageInfo])]
PackageIndex.lookupDependency InstalledPackageIndex
installedPackageSet PackageName
depName VersionRange
vr
internalDepSatisfiable :: Bool
internalDepSatisfiable =
Bool -> Bool
not (Bool -> Bool)
-> ([(Version, [InstalledPackageInfo])] -> Bool)
-> [(Version, [InstalledPackageInfo])]
-> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Version, [InstalledPackageInfo])] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null ([(Version, [InstalledPackageInfo])] -> Bool)
-> [(Version, [InstalledPackageInfo])] -> Bool
forall a b. (a -> b) -> a -> b
$ InstalledPackageIndex
-> PackageName
-> VersionRange
-> LibraryName
-> [(Version, [InstalledPackageInfo])]
PackageIndex.lookupInternalDependency
InstalledPackageIndex
installedPackageSet PackageName
pn VersionRange
vr LibraryName
cn
where
cn :: LibraryName
cn | PackageName
pn PackageName -> PackageName -> Bool
forall a. Eq a => a -> a -> Bool
== PackageName
depName
= LibraryName
LMainLibName
| Bool
otherwise
= UnqualComponentName -> LibraryName
LSubLibName (UnqualComponentName -> LibraryName)
-> UnqualComponentName -> LibraryName
forall a b. (a -> b) -> a -> b
$ PackageName -> UnqualComponentName
packageNameToUnqualComponentName PackageName
depName
visible :: LibraryName -> Bool
visible LibraryName
lib = Bool
-> (InstalledPackageInfo -> Bool)
-> Maybe InstalledPackageInfo
-> Bool
forall b a. b -> (a -> b) -> Maybe a -> b
maybe
Bool
False
(\InstalledPackageInfo
ipi -> InstalledPackageInfo -> LibraryVisibility
Installed.libVisibility InstalledPackageInfo
ipi LibraryVisibility -> LibraryVisibility -> Bool
forall a. Eq a => a -> a -> Bool
== LibraryVisibility
LibraryVisibilityPublic
Bool -> Bool -> Bool
|| Bool
allow_private_deps
Bool -> Bool -> Bool
|| PackageIdentifier -> PackageName
pkgName (InstalledPackageInfo -> PackageIdentifier
Installed.sourcePackageId InstalledPackageInfo
ipi) PackageName -> PackageName -> Bool
forall a. Eq a => a -> a -> Bool
== PackageName
pn)
Maybe InstalledPackageInfo
maybeIPI
where maybeIPI :: Maybe InstalledPackageInfo
maybeIPI = (PackageName, ComponentName)
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> Maybe InstalledPackageInfo
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup (PackageName
depName, LibraryName -> ComponentName
CLibName LibraryName
lib) Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap
configureFinalizedPackage
:: Verbosity
-> ConfigFlags
-> ComponentRequestedSpec
-> [Dependency]
-> (Dependency -> Bool)
-> Compiler
-> Platform
-> GenericPackageDescription
-> IO (PackageDescription, FlagAssignment)
configureFinalizedPackage :: Verbosity
-> ConfigFlags
-> ComponentRequestedSpec
-> [Dependency]
-> (Dependency -> Bool)
-> Compiler
-> Platform
-> GenericPackageDescription
-> IO (PackageDescription, FlagAssignment)
configureFinalizedPackage Verbosity
verbosity ConfigFlags
cfg ComponentRequestedSpec
enabled
[Dependency]
allConstraints Dependency -> Bool
satisfies Compiler
comp Platform
compPlatform GenericPackageDescription
pkg_descr0 = do
(PackageDescription
pkg_descr0', FlagAssignment
flags) <-
case FlagAssignment
-> ComponentRequestedSpec
-> (Dependency -> Bool)
-> Platform
-> CompilerInfo
-> [Dependency]
-> GenericPackageDescription
-> Either [Dependency] (PackageDescription, FlagAssignment)
finalizePD
(ConfigFlags -> FlagAssignment
configConfigurationsFlags ConfigFlags
cfg)
ComponentRequestedSpec
enabled
Dependency -> Bool
satisfies
Platform
compPlatform
(Compiler -> CompilerInfo
compilerInfo Compiler
comp)
[Dependency]
allConstraints
GenericPackageDescription
pkg_descr0
of Right (PackageDescription, FlagAssignment)
r -> (PackageDescription, FlagAssignment)
-> IO (PackageDescription, FlagAssignment)
forall (m :: * -> *) a. Monad m => a -> m a
return (PackageDescription, FlagAssignment)
r
Left [Dependency]
missing ->
Verbosity -> String -> IO (PackageDescription, FlagAssignment)
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO (PackageDescription, FlagAssignment))
-> String -> IO (PackageDescription, FlagAssignment)
forall a b. (a -> b) -> a -> b
$ String
"Encountered missing or private dependencies:\n"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ (Doc -> String
render (Doc -> String) -> ([Dependency] -> Doc) -> [Dependency] -> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Doc -> Doc
nest Int
4 (Doc -> Doc) -> ([Dependency] -> Doc) -> [Dependency] -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Doc] -> Doc
sep ([Doc] -> Doc) -> ([Dependency] -> [Doc]) -> [Dependency] -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Doc -> [Doc] -> [Doc]
punctuate Doc
comma
([Doc] -> [Doc])
-> ([Dependency] -> [Doc]) -> [Dependency] -> [Doc]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Dependency -> Doc) -> [Dependency] -> [Doc]
forall a b. (a -> b) -> [a] -> [b]
map (Dependency -> Doc
forall a. Pretty a => a -> Doc
pretty (Dependency -> Doc)
-> (Dependency -> Dependency) -> Dependency -> Doc
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Dependency -> Dependency
simplifyDependency)
([Dependency] -> String) -> [Dependency] -> String
forall a b. (a -> b) -> a -> b
$ [Dependency]
missing)
let pkg_descr :: PackageDescription
pkg_descr = PackageDescription -> PackageDescription
addExtraIncludeLibDirs PackageDescription
pkg_descr0'
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FlagAssignment -> Bool
nullFlagAssignment FlagAssignment
flags) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Flags chosen: "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", " [ FlagName -> String
unFlagName FlagName
fn String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"=" String -> ShowS
forall a. [a] -> [a] -> [a]
++ Bool -> String
forall a. Pretty a => a -> String
prettyShow Bool
value
| (FlagName
fn, Bool
value) <- FlagAssignment -> [(FlagName, Bool)]
unFlagAssignment FlagAssignment
flags ]
(PackageDescription, FlagAssignment)
-> IO (PackageDescription, FlagAssignment)
forall (m :: * -> *) a. Monad m => a -> m a
return (PackageDescription
pkg_descr, FlagAssignment
flags)
where
addExtraIncludeLibDirs :: PackageDescription -> PackageDescription
addExtraIncludeLibDirs PackageDescription
pkg_descr =
let extraBi :: BuildInfo
extraBi = BuildInfo
forall a. Monoid a => a
mempty { extraLibDirs :: [String]
extraLibDirs = ConfigFlags -> [String]
configExtraLibDirs ConfigFlags
cfg
, extraFrameworkDirs :: [String]
extraFrameworkDirs = ConfigFlags -> [String]
configExtraFrameworkDirs ConfigFlags
cfg
, includeDirs :: [String]
PD.includeDirs = ConfigFlags -> [String]
configExtraIncludeDirs ConfigFlags
cfg}
modifyLib :: Library -> Library
modifyLib Library
l = Library
l{ libBuildInfo :: BuildInfo
libBuildInfo = Library -> BuildInfo
libBuildInfo Library
l
BuildInfo -> BuildInfo -> BuildInfo
forall a. Monoid a => a -> a -> a
`mappend` BuildInfo
extraBi }
modifyExecutable :: Executable -> Executable
modifyExecutable Executable
e = Executable
e{ buildInfo :: BuildInfo
buildInfo = Executable -> BuildInfo
buildInfo Executable
e
BuildInfo -> BuildInfo -> BuildInfo
forall a. Monoid a => a -> a -> a
`mappend` BuildInfo
extraBi}
modifyForeignLib :: ForeignLib -> ForeignLib
modifyForeignLib ForeignLib
f = ForeignLib
f{ foreignLibBuildInfo :: BuildInfo
foreignLibBuildInfo = ForeignLib -> BuildInfo
foreignLibBuildInfo ForeignLib
f
BuildInfo -> BuildInfo -> BuildInfo
forall a. Monoid a => a -> a -> a
`mappend` BuildInfo
extraBi}
modifyTestsuite :: TestSuite -> TestSuite
modifyTestsuite TestSuite
t = TestSuite
t{ testBuildInfo :: BuildInfo
testBuildInfo = TestSuite -> BuildInfo
testBuildInfo TestSuite
t
BuildInfo -> BuildInfo -> BuildInfo
forall a. Monoid a => a -> a -> a
`mappend` BuildInfo
extraBi}
modifyBenchmark :: Benchmark -> Benchmark
modifyBenchmark Benchmark
b = Benchmark
b{ benchmarkBuildInfo :: BuildInfo
benchmarkBuildInfo = Benchmark -> BuildInfo
benchmarkBuildInfo Benchmark
b
BuildInfo -> BuildInfo -> BuildInfo
forall a. Monoid a => a -> a -> a
`mappend` BuildInfo
extraBi}
in PackageDescription
pkg_descr
{ library :: Maybe Library
library = Library -> Library
modifyLib (Library -> Library) -> Maybe Library -> Maybe Library
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` PackageDescription -> Maybe Library
library PackageDescription
pkg_descr
, subLibraries :: [Library]
subLibraries = Library -> Library
modifyLib (Library -> Library) -> [Library] -> [Library]
forall a b. (a -> b) -> [a] -> [b]
`map` PackageDescription -> [Library]
subLibraries PackageDescription
pkg_descr
, executables :: [Executable]
executables = Executable -> Executable
modifyExecutable (Executable -> Executable) -> [Executable] -> [Executable]
forall a b. (a -> b) -> [a] -> [b]
`map` PackageDescription -> [Executable]
executables PackageDescription
pkg_descr
, foreignLibs :: [ForeignLib]
foreignLibs = ForeignLib -> ForeignLib
modifyForeignLib (ForeignLib -> ForeignLib) -> [ForeignLib] -> [ForeignLib]
forall a b. (a -> b) -> [a] -> [b]
`map` PackageDescription -> [ForeignLib]
foreignLibs PackageDescription
pkg_descr
, testSuites :: [TestSuite]
testSuites = TestSuite -> TestSuite
modifyTestsuite (TestSuite -> TestSuite) -> [TestSuite] -> [TestSuite]
forall a b. (a -> b) -> [a] -> [b]
`map` PackageDescription -> [TestSuite]
testSuites PackageDescription
pkg_descr
, benchmarks :: [Benchmark]
benchmarks = Benchmark -> Benchmark
modifyBenchmark (Benchmark -> Benchmark) -> [Benchmark] -> [Benchmark]
forall a b. (a -> b) -> [a] -> [b]
`map` PackageDescription -> [Benchmark]
benchmarks PackageDescription
pkg_descr
}
checkCompilerProblems
:: Verbosity -> Compiler -> PackageDescription -> ComponentRequestedSpec -> IO ()
checkCompilerProblems :: Verbosity
-> Compiler
-> PackageDescription
-> ComponentRequestedSpec
-> IO ()
checkCompilerProblems Verbosity
verbosity Compiler
comp PackageDescription
pkg_descr ComponentRequestedSpec
enabled = do
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (Compiler -> Bool
renamingPackageFlagsSupported Compiler
comp Bool -> Bool -> Bool
||
(BuildInfo -> Bool) -> [BuildInfo] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all ((Mixin -> Bool) -> [Mixin] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all (IncludeRenaming -> Bool
isDefaultIncludeRenaming (IncludeRenaming -> Bool)
-> (Mixin -> IncludeRenaming) -> Mixin -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Mixin -> IncludeRenaming
mixinIncludeRenaming) ([Mixin] -> Bool) -> (BuildInfo -> [Mixin]) -> BuildInfo -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. BuildInfo -> [Mixin]
mixins)
(PackageDescription -> ComponentRequestedSpec -> [BuildInfo]
enabledBuildInfos PackageDescription
pkg_descr ComponentRequestedSpec
enabled)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"Your compiler does not support thinning and renaming on "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"package flags. To use this feature you must use "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"GHC 7.9 or later."
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when ((Library -> Bool) -> [Library] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any (Bool -> Bool
not(Bool -> Bool) -> (Library -> Bool) -> Library -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
.[ModuleReexport] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null([ModuleReexport] -> Bool)
-> (Library -> [ModuleReexport]) -> Library -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
.Library -> [ModuleReexport]
PD.reexportedModules) (PackageDescription -> [Library]
PD.allLibraries PackageDescription
pkg_descr)
Bool -> Bool -> Bool
&& Bool -> Bool
not (Compiler -> Bool
reexportedModulesSupported Compiler
comp)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"Your compiler does not support module re-exports. To use "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"this feature you must use GHC 7.9 or later."
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when ((Library -> Bool) -> [Library] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
any (Bool -> Bool
not(Bool -> Bool) -> (Library -> Bool) -> Library -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
.[ModuleName] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null([ModuleName] -> Bool)
-> (Library -> [ModuleName]) -> Library -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
.Library -> [ModuleName]
PD.signatures) (PackageDescription -> [Library]
PD.allLibraries PackageDescription
pkg_descr)
Bool -> Bool -> Bool
&& Bool -> Bool
not (Compiler -> Bool
backpackSupported Compiler
comp)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"Your compiler does not support Backpack. To use "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"this feature you must use GHC 8.1 or later."
configureDependencies
:: Verbosity
-> UseExternalInternalDeps
-> Map PackageName (Maybe UnqualComponentName)
-> InstalledPackageIndex
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> PackageDescription
-> ComponentRequestedSpec
-> IO [PreExistingComponent]
configureDependencies :: Verbosity
-> Bool
-> Map PackageName (Maybe UnqualComponentName)
-> InstalledPackageIndex
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> PackageDescription
-> ComponentRequestedSpec
-> IO [PreExistingComponent]
configureDependencies Verbosity
verbosity Bool
use_external_internal_deps
Map PackageName (Maybe UnqualComponentName)
internalPackageSet InstalledPackageIndex
installedPackageSet Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap PackageDescription
pkg_descr ComponentRequestedSpec
enableSpec = do
let failedDeps :: [FailedDependency]
allPkgDeps :: [ResolvedDependency]
([FailedDependency]
failedDeps, [ResolvedDependency]
allPkgDeps) = [Either FailedDependency ResolvedDependency]
-> ([FailedDependency], [ResolvedDependency])
forall a b. [Either a b] -> ([a], [b])
partitionEithers ([Either FailedDependency ResolvedDependency]
-> ([FailedDependency], [ResolvedDependency]))
-> [Either FailedDependency ResolvedDependency]
-> ([FailedDependency], [ResolvedDependency])
forall a b. (a -> b) -> a -> b
$ [[Either FailedDependency ResolvedDependency]]
-> [Either FailedDependency ResolvedDependency]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat
[ (DependencyResolution -> ResolvedDependency)
-> Either FailedDependency DependencyResolution
-> Either FailedDependency ResolvedDependency
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (\DependencyResolution
s -> (Dependency
dep, DependencyResolution
s)) (Either FailedDependency DependencyResolution
-> Either FailedDependency ResolvedDependency)
-> [Either FailedDependency DependencyResolution]
-> [Either FailedDependency ResolvedDependency]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Either FailedDependency DependencyResolution]
status
| Dependency
dep <- PackageDescription -> ComponentRequestedSpec -> [Dependency]
enabledBuildDepends PackageDescription
pkg_descr ComponentRequestedSpec
enableSpec
, let status :: [Either FailedDependency DependencyResolution]
status = PackageIdentifier
-> Map PackageName (Maybe UnqualComponentName)
-> InstalledPackageIndex
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> Bool
-> Dependency
-> [Either FailedDependency DependencyResolution]
selectDependency (PackageDescription -> PackageIdentifier
package PackageDescription
pkg_descr)
Map PackageName (Maybe UnqualComponentName)
internalPackageSet InstalledPackageIndex
installedPackageSet
Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap Bool
use_external_internal_deps Dependency
dep ]
internalPkgDeps :: [PackageIdentifier]
internalPkgDeps = [ PackageIdentifier
pkgid
| (Dependency
_, InternalDependency PackageIdentifier
pkgid) <- [ResolvedDependency]
allPkgDeps ]
externalPkgDeps :: [PreExistingComponent]
externalPkgDeps = [ PreExistingComponent
pec
| (Dependency
_, ExternalDependency PreExistingComponent
pec) <- [ResolvedDependency]
allPkgDeps ]
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not ([PackageIdentifier] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [PackageIdentifier]
internalPkgDeps)
Bool -> Bool -> Bool
&& Bool -> Bool
not (PackageDescription -> Bool
newPackageDepsBehaviour PackageDescription
pkg_descr)) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"The field 'build-depends: "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", " ((PackageIdentifier -> String) -> [PackageIdentifier] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map (PackageName -> String
forall a. Pretty a => a -> String
prettyShow (PackageName -> String)
-> (PackageIdentifier -> PackageName)
-> PackageIdentifier
-> String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PackageIdentifier -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName) [PackageIdentifier]
internalPkgDeps)
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"' refers to a library which is defined within the same "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"package. To use this feature the package must specify at "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"least 'cabal-version: >= 1.8'."
Verbosity -> [FailedDependency] -> IO ()
reportFailedDependencies Verbosity
verbosity [FailedDependency]
failedDeps
Verbosity -> [ResolvedDependency] -> IO ()
reportSelectedDependencies Verbosity
verbosity [ResolvedDependency]
allPkgDeps
[PreExistingComponent] -> IO [PreExistingComponent]
forall (m :: * -> *) a. Monad m => a -> m a
return [PreExistingComponent]
externalPkgDeps
configureCoverage :: Verbosity -> ConfigFlags -> Compiler
-> IO (LocalBuildInfo -> LocalBuildInfo)
configureCoverage :: Verbosity
-> ConfigFlags -> Compiler -> IO (LocalBuildInfo -> LocalBuildInfo)
configureCoverage Verbosity
verbosity ConfigFlags
cfg Compiler
comp = do
let tryExeCoverage :: Bool
tryExeCoverage = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (ConfigFlags -> Flag Bool
configCoverage ConfigFlags
cfg)
tryLibCoverage :: Bool
tryLibCoverage = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
tryExeCoverage
(Flag Bool -> Flag Bool -> Flag Bool
forall a. Monoid a => a -> a -> a
mappend (ConfigFlags -> Flag Bool
configCoverage ConfigFlags
cfg) (ConfigFlags -> Flag Bool
configLibCoverage ConfigFlags
cfg))
if Compiler -> Bool
coverageSupported Compiler
comp
then do
let apply :: LocalBuildInfo -> LocalBuildInfo
apply LocalBuildInfo
lbi = LocalBuildInfo
lbi { libCoverage :: Bool
libCoverage = Bool
tryLibCoverage
, exeCoverage :: Bool
exeCoverage = Bool
tryExeCoverage
}
(LocalBuildInfo -> LocalBuildInfo)
-> IO (LocalBuildInfo -> LocalBuildInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo -> LocalBuildInfo
apply
else do
let apply :: LocalBuildInfo -> LocalBuildInfo
apply LocalBuildInfo
lbi = LocalBuildInfo
lbi { libCoverage :: Bool
libCoverage = Bool
False
, exeCoverage :: Bool
exeCoverage = Bool
False
}
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool
tryExeCoverage Bool -> Bool -> Bool
|| Bool
tryLibCoverage) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"The compiler " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Compiler -> String
showCompilerId Compiler
comp String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" does not support "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"program coverage. Program coverage has been disabled.")
(LocalBuildInfo -> LocalBuildInfo)
-> IO (LocalBuildInfo -> LocalBuildInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo -> LocalBuildInfo
apply
computeEffectiveProfiling :: ConfigFlags -> (Bool , Bool )
computeEffectiveProfiling :: ConfigFlags -> (Bool, Bool)
computeEffectiveProfiling ConfigFlags
cfg =
let tryExeProfiling :: Bool
tryExeProfiling = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False
(Flag Bool -> Flag Bool -> Flag Bool
forall a. Monoid a => a -> a -> a
mappend (ConfigFlags -> Flag Bool
configProf ConfigFlags
cfg) (ConfigFlags -> Flag Bool
configProfExe ConfigFlags
cfg))
tryLibProfiling :: Bool
tryLibProfiling = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
tryExeProfiling
(Flag Bool -> Flag Bool -> Flag Bool
forall a. Monoid a => a -> a -> a
mappend (ConfigFlags -> Flag Bool
configProf ConfigFlags
cfg) (ConfigFlags -> Flag Bool
configProfLib ConfigFlags
cfg))
in (Bool
tryLibProfiling, Bool
tryExeProfiling)
configureProfiling :: Verbosity -> ConfigFlags -> Compiler
-> IO (LocalBuildInfo -> LocalBuildInfo)
configureProfiling :: Verbosity
-> ConfigFlags -> Compiler -> IO (LocalBuildInfo -> LocalBuildInfo)
configureProfiling Verbosity
verbosity ConfigFlags
cfg Compiler
comp = do
let (Bool
tryLibProfiling, Bool
tryExeProfiling) = ConfigFlags -> (Bool, Bool)
computeEffectiveProfiling ConfigFlags
cfg
tryExeProfileLevel :: ProfDetailLevel
tryExeProfileLevel = ProfDetailLevel -> Flag ProfDetailLevel -> ProfDetailLevel
forall a. a -> Flag a -> a
fromFlagOrDefault ProfDetailLevel
ProfDetailDefault
(ConfigFlags -> Flag ProfDetailLevel
configProfDetail ConfigFlags
cfg)
tryLibProfileLevel :: ProfDetailLevel
tryLibProfileLevel = ProfDetailLevel -> Flag ProfDetailLevel -> ProfDetailLevel
forall a. a -> Flag a -> a
fromFlagOrDefault ProfDetailLevel
ProfDetailDefault
(Flag ProfDetailLevel
-> Flag ProfDetailLevel -> Flag ProfDetailLevel
forall a. Monoid a => a -> a -> a
mappend
(ConfigFlags -> Flag ProfDetailLevel
configProfDetail ConfigFlags
cfg)
(ConfigFlags -> Flag ProfDetailLevel
configProfLibDetail ConfigFlags
cfg))
checkProfileLevel :: ProfDetailLevel -> IO ProfDetailLevel
checkProfileLevel (ProfDetailOther String
other) = do
Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"Unknown profiling detail level '" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
other
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"', using default.\nThe profiling detail levels are: "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", "
[ String
name | (String
name, [String]
_, ProfDetailLevel
_) <- [(String, [String], ProfDetailLevel)]
knownProfDetailLevels ])
ProfDetailLevel -> IO ProfDetailLevel
forall (m :: * -> *) a. Monad m => a -> m a
return ProfDetailLevel
ProfDetailDefault
checkProfileLevel ProfDetailLevel
other = ProfDetailLevel -> IO ProfDetailLevel
forall (m :: * -> *) a. Monad m => a -> m a
return ProfDetailLevel
other
(Bool
exeProfWithoutLibProf, LocalBuildInfo -> LocalBuildInfo
applyProfiling) <-
if Compiler -> Bool
profilingSupported Compiler
comp
then do
ProfDetailLevel
exeLevel <- ProfDetailLevel -> IO ProfDetailLevel
checkProfileLevel ProfDetailLevel
tryExeProfileLevel
ProfDetailLevel
libLevel <- ProfDetailLevel -> IO ProfDetailLevel
checkProfileLevel ProfDetailLevel
tryLibProfileLevel
let apply :: LocalBuildInfo -> LocalBuildInfo
apply LocalBuildInfo
lbi = LocalBuildInfo
lbi { withProfLib :: Bool
withProfLib = Bool
tryLibProfiling
, withProfLibDetail :: ProfDetailLevel
withProfLibDetail = ProfDetailLevel
libLevel
, withProfExe :: Bool
withProfExe = Bool
tryExeProfiling
, withProfExeDetail :: ProfDetailLevel
withProfExeDetail = ProfDetailLevel
exeLevel
}
(Bool, LocalBuildInfo -> LocalBuildInfo)
-> IO (Bool, LocalBuildInfo -> LocalBuildInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
tryExeProfiling Bool -> Bool -> Bool
&& Bool -> Bool
not Bool
tryLibProfiling, LocalBuildInfo -> LocalBuildInfo
apply)
else do
let apply :: LocalBuildInfo -> LocalBuildInfo
apply LocalBuildInfo
lbi = LocalBuildInfo
lbi { withProfLib :: Bool
withProfLib = Bool
False
, withProfLibDetail :: ProfDetailLevel
withProfLibDetail = ProfDetailLevel
ProfDetailNone
, withProfExe :: Bool
withProfExe = Bool
False
, withProfExeDetail :: ProfDetailLevel
withProfExeDetail = ProfDetailLevel
ProfDetailNone
}
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool
tryExeProfiling Bool -> Bool -> Bool
|| Bool
tryLibProfiling) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"The compiler " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Compiler -> String
showCompilerId Compiler
comp String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" does not support "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"profiling. Profiling has been disabled.")
(Bool, LocalBuildInfo -> LocalBuildInfo)
-> IO (Bool, LocalBuildInfo -> LocalBuildInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return (Bool
False, LocalBuildInfo -> LocalBuildInfo
apply)
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when Bool
exeProfWithoutLibProf (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
warn Verbosity
verbosity
(String
"Executables will be built with profiling, but library "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"profiling is disabled. Linking will fail if any executables "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"depend on the library.")
(LocalBuildInfo -> LocalBuildInfo)
-> IO (LocalBuildInfo -> LocalBuildInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return LocalBuildInfo -> LocalBuildInfo
applyProfiling
reportProgram :: Verbosity -> Program -> Maybe ConfiguredProgram -> IO ()
reportProgram :: Verbosity -> Program -> Maybe ConfiguredProgram -> IO ()
reportProgram Verbosity
verbosity Program
prog Maybe ConfiguredProgram
Nothing
= Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"No " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Program -> String
programName Program
prog String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" found"
reportProgram Verbosity
verbosity Program
prog (Just ConfiguredProgram
configuredProg)
= Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Using " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Program -> String
programName Program
prog String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
version String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
location
where location :: String
location = case ConfiguredProgram -> ProgramLocation
programLocation ConfiguredProgram
configuredProg of
FoundOnSystem String
p -> String
" found on system at: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
p
UserSpecified String
p -> String
" given by user at: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
p
version :: String
version = case ConfiguredProgram -> Maybe Version
programVersion ConfiguredProgram
configuredProg of
Maybe Version
Nothing -> String
""
Just Version
v -> String
" version " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Version -> String
forall a. Pretty a => a -> String
prettyShow Version
v
hackageUrl :: String
hackageUrl :: String
hackageUrl = String
"http://hackage.haskell.org/package/"
type ResolvedDependency = (Dependency, DependencyResolution)
data DependencyResolution
= ExternalDependency PreExistingComponent
| InternalDependency PackageId
data FailedDependency = DependencyNotExists PackageName
| DependencyMissingInternal PackageName PackageName
| DependencyNoVersion Dependency
selectDependency :: PackageId
-> Map PackageName (Maybe UnqualComponentName)
-> InstalledPackageIndex
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> UseExternalInternalDeps
-> Dependency
-> [Either FailedDependency DependencyResolution]
selectDependency :: PackageIdentifier
-> Map PackageName (Maybe UnqualComponentName)
-> InstalledPackageIndex
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> Bool
-> Dependency
-> [Either FailedDependency DependencyResolution]
selectDependency PackageIdentifier
pkgid Map PackageName (Maybe UnqualComponentName)
internalIndex InstalledPackageIndex
installedIndex Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap
Bool
use_external_internal_deps
(Dependency PackageName
dep_pkgname VersionRange
vr Set LibraryName
libs) =
case PackageName
-> Map PackageName (Maybe UnqualComponentName)
-> Maybe (Maybe UnqualComponentName)
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup PackageName
dep_pkgname Map PackageName (Maybe UnqualComponentName)
internalIndex of
Just Maybe UnqualComponentName
cname ->
if Bool
use_external_internal_deps
then Maybe LibraryName
-> LibraryName -> Either FailedDependency DependencyResolution
do_external (LibraryName -> Maybe LibraryName
forall a. a -> Maybe a
Just (LibraryName -> Maybe LibraryName)
-> LibraryName -> Maybe LibraryName
forall a b. (a -> b) -> a -> b
$ Maybe UnqualComponentName -> LibraryName
maybeToLibraryName Maybe UnqualComponentName
cname) (LibraryName -> Either FailedDependency DependencyResolution)
-> [LibraryName] -> [Either FailedDependency DependencyResolution]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Set LibraryName -> [LibraryName]
forall a. Set a -> [a]
Set.toList Set LibraryName
libs
else [Either FailedDependency DependencyResolution]
forall a. [Either a DependencyResolution]
do_internal
Maybe (Maybe UnqualComponentName)
_ ->
Maybe LibraryName
-> LibraryName -> Either FailedDependency DependencyResolution
do_external Maybe LibraryName
forall a. Maybe a
Nothing (LibraryName -> Either FailedDependency DependencyResolution)
-> [LibraryName] -> [Either FailedDependency DependencyResolution]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Set LibraryName -> [LibraryName]
forall a. Set a -> [a]
Set.toList Set LibraryName
libs
where
do_internal :: [Either a DependencyResolution]
do_internal = [DependencyResolution -> Either a DependencyResolution
forall a b. b -> Either a b
Right (DependencyResolution -> Either a DependencyResolution)
-> DependencyResolution -> Either a DependencyResolution
forall a b. (a -> b) -> a -> b
$ PackageIdentifier -> DependencyResolution
InternalDependency
(PackageIdentifier -> DependencyResolution)
-> PackageIdentifier -> DependencyResolution
forall a b. (a -> b) -> a -> b
$ PackageName -> Version -> PackageIdentifier
PackageIdentifier PackageName
dep_pkgname (Version -> PackageIdentifier) -> Version -> PackageIdentifier
forall a b. (a -> b) -> a -> b
$ PackageIdentifier -> Version
forall pkg. Package pkg => pkg -> Version
packageVersion PackageIdentifier
pkgid]
do_external :: Maybe LibraryName -> LibraryName -> Either FailedDependency DependencyResolution
do_external :: Maybe LibraryName
-> LibraryName -> Either FailedDependency DependencyResolution
do_external Maybe LibraryName
is_internal LibraryName
lib = do
InstalledPackageInfo
ipi <- case (PackageName, ComponentName)
-> Map (PackageName, ComponentName) InstalledPackageInfo
-> Maybe InstalledPackageInfo
forall k a. Ord k => k -> Map k a -> Maybe a
Map.lookup (PackageName
dep_pkgname, LibraryName -> ComponentName
CLibName LibraryName
lib) Map (PackageName, ComponentName) InstalledPackageInfo
requiredDepsMap of
Just InstalledPackageInfo
pkginstance -> InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo
forall a b. b -> Either a b
Right InstalledPackageInfo
pkginstance
Maybe InstalledPackageInfo
Nothing ->
case Maybe LibraryName
is_internal of
Maybe LibraryName
Nothing -> Either FailedDependency InstalledPackageInfo
do_external_external
Just LibraryName
ln -> LibraryName -> Either FailedDependency InstalledPackageInfo
do_external_internal LibraryName
ln
DependencyResolution
-> Either FailedDependency DependencyResolution
forall (m :: * -> *) a. Monad m => a -> m a
return (DependencyResolution
-> Either FailedDependency DependencyResolution)
-> DependencyResolution
-> Either FailedDependency DependencyResolution
forall a b. (a -> b) -> a -> b
$ PreExistingComponent -> DependencyResolution
ExternalDependency (PreExistingComponent -> DependencyResolution)
-> PreExistingComponent -> DependencyResolution
forall a b. (a -> b) -> a -> b
$ InstalledPackageInfo -> PreExistingComponent
ipiToPreExistingComponent InstalledPackageInfo
ipi
do_external_external :: Either FailedDependency InstalledPackageInfo
do_external_external =
case InstalledPackageIndex
-> PackageName
-> VersionRange
-> [(Version, [InstalledPackageInfo])]
PackageIndex.lookupDependency InstalledPackageIndex
installedIndex PackageName
dep_pkgname VersionRange
vr of
[] -> FailedDependency -> Either FailedDependency InstalledPackageInfo
forall a b. a -> Either a b
Left (PackageName -> FailedDependency
DependencyNotExists PackageName
dep_pkgname)
[(Version, [InstalledPackageInfo])]
pkgs -> InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo
forall a b. b -> Either a b
Right (InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo)
-> InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo
forall a b. (a -> b) -> a -> b
$ [InstalledPackageInfo] -> InstalledPackageInfo
forall a. [a] -> a
head ([InstalledPackageInfo] -> InstalledPackageInfo)
-> [InstalledPackageInfo] -> InstalledPackageInfo
forall a b. (a -> b) -> a -> b
$ (Version, [InstalledPackageInfo]) -> [InstalledPackageInfo]
forall a b. (a, b) -> b
snd ((Version, [InstalledPackageInfo]) -> [InstalledPackageInfo])
-> (Version, [InstalledPackageInfo]) -> [InstalledPackageInfo]
forall a b. (a -> b) -> a -> b
$ [(Version, [InstalledPackageInfo])]
-> (Version, [InstalledPackageInfo])
forall a. [a] -> a
last [(Version, [InstalledPackageInfo])]
pkgs
do_external_internal
:: LibraryName -> Either FailedDependency InstalledPackageInfo
do_external_internal :: LibraryName -> Either FailedDependency InstalledPackageInfo
do_external_internal LibraryName
ln =
case InstalledPackageIndex
-> PackageName
-> VersionRange
-> LibraryName
-> [(Version, [InstalledPackageInfo])]
PackageIndex.lookupInternalDependency InstalledPackageIndex
installedIndex
(PackageIdentifier -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName PackageIdentifier
pkgid) VersionRange
vr LibraryName
ln of
[] -> FailedDependency -> Either FailedDependency InstalledPackageInfo
forall a b. a -> Either a b
Left (PackageName -> PackageName -> FailedDependency
DependencyMissingInternal PackageName
dep_pkgname (PackageIdentifier -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName PackageIdentifier
pkgid))
[(Version, [InstalledPackageInfo])]
pkgs -> InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo
forall a b. b -> Either a b
Right (InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo)
-> InstalledPackageInfo
-> Either FailedDependency InstalledPackageInfo
forall a b. (a -> b) -> a -> b
$ [InstalledPackageInfo] -> InstalledPackageInfo
forall a. [a] -> a
head ([InstalledPackageInfo] -> InstalledPackageInfo)
-> [InstalledPackageInfo] -> InstalledPackageInfo
forall a b. (a -> b) -> a -> b
$ (Version, [InstalledPackageInfo]) -> [InstalledPackageInfo]
forall a b. (a, b) -> b
snd ((Version, [InstalledPackageInfo]) -> [InstalledPackageInfo])
-> (Version, [InstalledPackageInfo]) -> [InstalledPackageInfo]
forall a b. (a -> b) -> a -> b
$ [(Version, [InstalledPackageInfo])]
-> (Version, [InstalledPackageInfo])
forall a. [a] -> a
last [(Version, [InstalledPackageInfo])]
pkgs
reportSelectedDependencies :: Verbosity
-> [ResolvedDependency] -> IO ()
reportSelectedDependencies :: Verbosity -> [ResolvedDependency] -> IO ()
reportSelectedDependencies Verbosity
verbosity [ResolvedDependency]
deps =
Verbosity -> String -> IO ()
info Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ [String] -> String
unlines
[ String
"Dependency " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Dependency -> String
forall a. Pretty a => a -> String
prettyShow (Dependency -> Dependency
simplifyDependency Dependency
dep)
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
": using " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageIdentifier -> String
forall a. Pretty a => a -> String
prettyShow PackageIdentifier
pkgid
| (Dependency
dep, DependencyResolution
resolution) <- [ResolvedDependency]
deps
, let pkgid :: PackageIdentifier
pkgid = case DependencyResolution
resolution of
ExternalDependency PreExistingComponent
pkg' -> PreExistingComponent -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId PreExistingComponent
pkg'
InternalDependency PackageIdentifier
pkgid' -> PackageIdentifier
pkgid' ]
reportFailedDependencies :: Verbosity -> [FailedDependency] -> IO ()
reportFailedDependencies :: Verbosity -> [FailedDependency] -> IO ()
reportFailedDependencies Verbosity
_ [] = () -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
reportFailedDependencies Verbosity
verbosity [FailedDependency]
failed =
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
"\n\n" ((FailedDependency -> String) -> [FailedDependency] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map FailedDependency -> String
reportFailedDependency [FailedDependency]
failed))
where
reportFailedDependency :: FailedDependency -> String
reportFailedDependency (DependencyNotExists PackageName
pkgname) =
String
"there is no version of " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageName -> String
forall a. Pretty a => a -> String
prettyShow PackageName
pkgname String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" installed.\n"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"Perhaps you need to download and install it from\n"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
hackageUrl String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageName -> String
forall a. Pretty a => a -> String
prettyShow PackageName
pkgname String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"?"
reportFailedDependency (DependencyMissingInternal PackageName
pkgname PackageName
real_pkgname) =
String
"internal dependency " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageName -> String
forall a. Pretty a => a -> String
prettyShow PackageName
pkgname String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" not installed.\n"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"Perhaps you need to configure and install it first?\n"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"(This library was defined by " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PackageName -> String
forall a. Pretty a => a -> String
prettyShow PackageName
real_pkgname String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
")"
reportFailedDependency (DependencyNoVersion Dependency
dep) =
String
"cannot satisfy dependency " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Dependency -> String
forall a. Pretty a => a -> String
prettyShow (Dependency -> Dependency
simplifyDependency Dependency
dep) String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"\n"
getInstalledPackages :: Verbosity -> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
getInstalledPackages :: Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
getInstalledPackages Verbosity
verbosity Compiler
comp PackageDBStack
packageDBs ProgramDb
progdb = do
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (PackageDBStack -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null PackageDBStack
packageDBs) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"No package databases have been specified. If you use "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"--package-db=clear, you must follow it with --package-db= "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"with 'global', 'user' or a specific file."
Verbosity -> String -> IO ()
info Verbosity
verbosity String
"Reading installed packages..."
PackageDBStack
packageDBs' <- (PackageDB -> IO Bool) -> PackageDBStack -> IO PackageDBStack
forall (m :: * -> *) a.
Applicative m =>
(a -> m Bool) -> [a] -> m [a]
filterM PackageDB -> IO Bool
packageDBExists PackageDBStack
packageDBs
case Compiler -> CompilerFlavor
compilerFlavor Compiler
comp of
CompilerFlavor
GHC -> Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
GHC.getInstalledPackages Verbosity
verbosity Compiler
comp PackageDBStack
packageDBs' ProgramDb
progdb
CompilerFlavor
GHCJS -> Verbosity
-> PackageDBStack -> ProgramDb -> IO InstalledPackageIndex
GHCJS.getInstalledPackages Verbosity
verbosity PackageDBStack
packageDBs' ProgramDb
progdb
CompilerFlavor
UHC -> Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
UHC.getInstalledPackages Verbosity
verbosity Compiler
comp PackageDBStack
packageDBs' ProgramDb
progdb
HaskellSuite {} ->
Verbosity
-> PackageDBStack -> ProgramDb -> IO InstalledPackageIndex
HaskellSuite.getInstalledPackages Verbosity
verbosity PackageDBStack
packageDBs' ProgramDb
progdb
CompilerFlavor
flv -> Verbosity -> String -> IO InstalledPackageIndex
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO InstalledPackageIndex)
-> String -> IO InstalledPackageIndex
forall a b. (a -> b) -> a -> b
$ String
"don't know how to find the installed packages for "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ CompilerFlavor -> String
forall a. Pretty a => a -> String
prettyShow CompilerFlavor
flv
where
packageDBExists :: PackageDB -> IO Bool
packageDBExists (SpecificPackageDB String
path) = do
Bool
exists <- String -> IO Bool
doesPathExist String
path
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless Bool
exists (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
$ String
"Package db " String -> ShowS
forall a. Semigroup a => a -> a -> a
<> String
path String -> ShowS
forall a. Semigroup a => a -> a -> a
<> String
" does not exist yet"
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
exists
packageDBExists PackageDB
UserPackageDB = Bool -> IO Bool
forall (f :: * -> *) a. Applicative f => a -> f a
pure Bool
True
packageDBExists PackageDB
GlobalPackageDB = Bool -> IO Bool
forall (f :: * -> *) a. Applicative f => a -> f a
pure Bool
True
getPackageDBContents :: Verbosity -> Compiler
-> PackageDB -> ProgramDb
-> IO InstalledPackageIndex
getPackageDBContents :: Verbosity
-> Compiler -> PackageDB -> ProgramDb -> IO InstalledPackageIndex
getPackageDBContents Verbosity
verbosity Compiler
comp PackageDB
packageDB ProgramDb
progdb = do
Verbosity -> String -> IO ()
info Verbosity
verbosity String
"Reading installed packages..."
case Compiler -> CompilerFlavor
compilerFlavor Compiler
comp of
CompilerFlavor
GHC -> Verbosity -> PackageDB -> ProgramDb -> IO InstalledPackageIndex
GHC.getPackageDBContents Verbosity
verbosity PackageDB
packageDB ProgramDb
progdb
CompilerFlavor
GHCJS -> Verbosity -> PackageDB -> ProgramDb -> IO InstalledPackageIndex
GHCJS.getPackageDBContents Verbosity
verbosity PackageDB
packageDB ProgramDb
progdb
CompilerFlavor
_ -> Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
getInstalledPackages Verbosity
verbosity Compiler
comp [PackageDB
packageDB] ProgramDb
progdb
getInstalledPackagesMonitorFiles :: Verbosity -> Compiler
-> PackageDBStack
-> ProgramDb -> Platform
-> IO [FilePath]
getInstalledPackagesMonitorFiles :: Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> Platform
-> IO [String]
getInstalledPackagesMonitorFiles Verbosity
verbosity Compiler
comp PackageDBStack
packageDBs ProgramDb
progdb Platform
platform =
case Compiler -> CompilerFlavor
compilerFlavor Compiler
comp of
CompilerFlavor
GHC -> Verbosity -> Platform -> ProgramDb -> PackageDBStack -> IO [String]
GHC.getInstalledPackagesMonitorFiles
Verbosity
verbosity Platform
platform ProgramDb
progdb PackageDBStack
packageDBs
CompilerFlavor
other -> do
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"don't know how to find change monitoring files for "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"the installed package databases for " String -> ShowS
forall a. [a] -> [a] -> [a]
++ CompilerFlavor -> String
forall a. Pretty a => a -> String
prettyShow CompilerFlavor
other
[String] -> IO [String]
forall (m :: * -> *) a. Monad m => a -> m a
return []
interpretPackageDbFlags :: Bool -> [Maybe PackageDB] -> PackageDBStack
interpretPackageDbFlags :: Bool -> [Maybe PackageDB] -> PackageDBStack
interpretPackageDbFlags Bool
userInstall [Maybe PackageDB]
specificDBs =
PackageDBStack -> [Maybe PackageDB] -> PackageDBStack
forall a. [a] -> [Maybe a] -> [a]
extra PackageDBStack
initialStack [Maybe PackageDB]
specificDBs
where
initialStack :: PackageDBStack
initialStack | Bool
userInstall = [PackageDB
GlobalPackageDB, PackageDB
UserPackageDB]
| Bool
otherwise = [PackageDB
GlobalPackageDB]
extra :: [a] -> [Maybe a] -> [a]
extra [a]
dbs' [] = [a]
dbs'
extra [a]
_ (Maybe a
Nothing:[Maybe a]
dbs) = [a] -> [Maybe a] -> [a]
extra [] [Maybe a]
dbs
extra [a]
dbs' (Just a
db:[Maybe a]
dbs) = [a] -> [Maybe a] -> [a]
extra ([a]
dbs' [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ [a
db]) [Maybe a]
dbs
combinedConstraints
:: [Dependency]
-> [GivenComponent]
-> InstalledPackageIndex
-> Either String ([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
combinedConstraints :: [Dependency]
-> [GivenComponent]
-> InstalledPackageIndex
-> Either
String
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
combinedConstraints [Dependency]
constraints [GivenComponent]
dependencies InstalledPackageIndex
installedPackages = do
Bool -> Either String () -> Either String ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
when (Bool -> Bool
not ([(PackageName, ComponentName, ComponentId)] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [(PackageName, ComponentName, ComponentId)]
badComponentIds)) (Either String () -> Either String ())
-> Either String () -> Either String ()
forall a b. (a -> b) -> a -> b
$
String -> Either String ()
forall a b. a -> Either a b
Left (String -> Either String ()) -> String -> Either String ()
forall a b. (a -> b) -> a -> b
$ Doc -> String
render (Doc -> String) -> Doc -> String
forall a b. (a -> b) -> a -> b
$ String -> Doc
text String
"The following package dependencies were requested"
Doc -> Doc -> Doc
$+$ Int -> Doc -> Doc
nest Int
4 ([(PackageName, ComponentName, ComponentId)] -> Doc
forall a a. (Pretty a, Pretty a) => [(a, ComponentName, a)] -> Doc
dispDependencies [(PackageName, ComponentName, ComponentId)]
badComponentIds)
Doc -> Doc -> Doc
$+$ String -> Doc
text String
"however the given installed package instance does not exist."
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
-> Either
String
([Dependency],
Map (PackageName, ComponentName) InstalledPackageInfo)
forall (m :: * -> *) a. Monad m => a -> m a
return ([Dependency]
allConstraints, Map (PackageName, ComponentName) InstalledPackageInfo
idConstraintMap)
where
allConstraints :: [Dependency]
allConstraints :: [Dependency]
allConstraints = [Dependency]
constraints
[Dependency] -> [Dependency] -> [Dependency]
forall a. [a] -> [a] -> [a]
++ [ PackageIdentifier -> Dependency
thisPackageVersion (InstalledPackageInfo -> PackageIdentifier
forall pkg. Package pkg => pkg -> PackageIdentifier
packageId InstalledPackageInfo
pkg)
| (PackageName
_, ComponentName
_, ComponentId
_, Just InstalledPackageInfo
pkg) <- [(PackageName, ComponentName, ComponentId,
Maybe InstalledPackageInfo)]
dependenciesPkgInfo ]
idConstraintMap :: Map (PackageName, ComponentName) InstalledPackageInfo
idConstraintMap :: Map (PackageName, ComponentName) InstalledPackageInfo
idConstraintMap = [((PackageName, ComponentName), InstalledPackageInfo)]
-> Map (PackageName, ComponentName) InstalledPackageInfo
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList
[ ((PackageName
pn, ComponentName
cname), InstalledPackageInfo
pkg)
| (PackageName
pn, ComponentName
cname, ComponentId
_, Just InstalledPackageInfo
pkg) <- [(PackageName, ComponentName, ComponentId,
Maybe InstalledPackageInfo)]
dependenciesPkgInfo ]
dependenciesPkgInfo :: [(PackageName, ComponentName, ComponentId,
Maybe InstalledPackageInfo)]
dependenciesPkgInfo :: [(PackageName, ComponentName, ComponentId,
Maybe InstalledPackageInfo)]
dependenciesPkgInfo =
[ (PackageName
pkgname, LibraryName -> ComponentName
CLibName LibraryName
lname, ComponentId
cid, Maybe InstalledPackageInfo
mpkg)
| GivenComponent PackageName
pkgname LibraryName
lname ComponentId
cid <- [GivenComponent]
dependencies
, let mpkg :: Maybe InstalledPackageInfo
mpkg = InstalledPackageIndex -> ComponentId -> Maybe InstalledPackageInfo
forall a. PackageIndex a -> ComponentId -> Maybe a
PackageIndex.lookupComponentId
InstalledPackageIndex
installedPackages ComponentId
cid
]
badComponentIds :: [(PackageName, ComponentName, ComponentId)]
badComponentIds =
[ (PackageName
pkgname, ComponentName
cname, ComponentId
cid)
| (PackageName
pkgname, ComponentName
cname, ComponentId
cid, Maybe InstalledPackageInfo
Nothing) <- [(PackageName, ComponentName, ComponentId,
Maybe InstalledPackageInfo)]
dependenciesPkgInfo ]
dispDependencies :: [(a, ComponentName, a)] -> Doc
dispDependencies [(a, ComponentName, a)]
deps =
[Doc] -> Doc
hsep [ String -> Doc
text String
"--dependency="
Doc -> Doc -> Doc
<<>> Doc -> Doc
quotes
(a -> Doc
forall a. Pretty a => a -> Doc
pretty a
pkgname
Doc -> Doc -> Doc
<<>> case ComponentName
cname of
CLibName LibraryName
LMainLibName -> Doc
""
CLibName (LSubLibName UnqualComponentName
n) -> Doc
":" Doc -> Doc -> Doc
<<>> UnqualComponentName -> Doc
forall a. Pretty a => a -> Doc
pretty UnqualComponentName
n
ComponentName
_ -> Doc
":" Doc -> Doc -> Doc
<<>> ComponentName -> Doc
forall a. Pretty a => a -> Doc
pretty ComponentName
cname
Doc -> Doc -> Doc
<<>> Char -> Doc
char Char
'='
Doc -> Doc -> Doc
<<>> a -> Doc
forall a. Pretty a => a -> Doc
pretty a
cid)
| (a
pkgname, ComponentName
cname, a
cid) <- [(a, ComponentName, a)]
deps ]
configureRequiredPrograms :: Verbosity -> [LegacyExeDependency] -> ProgramDb
-> IO ProgramDb
configureRequiredPrograms :: Verbosity -> [LegacyExeDependency] -> ProgramDb -> IO ProgramDb
configureRequiredPrograms Verbosity
verbosity [LegacyExeDependency]
deps ProgramDb
progdb =
(ProgramDb -> LegacyExeDependency -> IO ProgramDb)
-> ProgramDb -> [LegacyExeDependency] -> IO ProgramDb
forall (t :: * -> *) (m :: * -> *) b a.
(Foldable t, Monad m) =>
(b -> a -> m b) -> b -> t a -> m b
foldM (Verbosity -> ProgramDb -> LegacyExeDependency -> IO ProgramDb
configureRequiredProgram Verbosity
verbosity) ProgramDb
progdb [LegacyExeDependency]
deps
configureRequiredProgram :: Verbosity -> ProgramDb -> LegacyExeDependency
-> IO ProgramDb
configureRequiredProgram :: Verbosity -> ProgramDb -> LegacyExeDependency -> IO ProgramDb
configureRequiredProgram Verbosity
verbosity ProgramDb
progdb
(LegacyExeDependency String
progName VersionRange
verRange) =
case String -> ProgramDb -> Maybe Program
lookupKnownProgram String
progName ProgramDb
progdb of
Maybe Program
Nothing ->
Verbosity -> Program -> ProgramDb -> IO ProgramDb
configureProgram Verbosity
verbosity (String -> Program
simpleProgram String
progName) ProgramDb
progdb
Just Program
prog
| VersionRange
verRange VersionRange -> VersionRange -> Bool
forall a. Eq a => a -> a -> Bool
== VersionRange
anyVersion -> do
(ConfiguredProgram
_, ProgramDb
progdb') <- Verbosity
-> Program -> ProgramDb -> IO (ConfiguredProgram, ProgramDb)
requireProgram Verbosity
verbosity Program
prog ProgramDb
progdb
ProgramDb -> IO ProgramDb
forall (m :: * -> *) a. Monad m => a -> m a
return ProgramDb
progdb'
| Bool
otherwise -> do
(ConfiguredProgram
_, Version
_, ProgramDb
progdb') <- Verbosity
-> Program
-> VersionRange
-> ProgramDb
-> IO (ConfiguredProgram, Version, ProgramDb)
requireProgramVersion Verbosity
verbosity Program
prog VersionRange
verRange ProgramDb
progdb
ProgramDb -> IO ProgramDb
forall (m :: * -> *) a. Monad m => a -> m a
return ProgramDb
progdb'
configurePkgconfigPackages :: Verbosity -> PackageDescription
-> ProgramDb -> ComponentRequestedSpec
-> IO (PackageDescription, ProgramDb)
configurePkgconfigPackages :: Verbosity
-> PackageDescription
-> ProgramDb
-> ComponentRequestedSpec
-> IO (PackageDescription, ProgramDb)
configurePkgconfigPackages Verbosity
verbosity PackageDescription
pkg_descr ProgramDb
progdb ComponentRequestedSpec
enabled
| [PkgconfigDependency] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [PkgconfigDependency]
allpkgs = (PackageDescription, ProgramDb)
-> IO (PackageDescription, ProgramDb)
forall (m :: * -> *) a. Monad m => a -> m a
return (PackageDescription
pkg_descr, ProgramDb
progdb)
| Bool
otherwise = do
(ConfiguredProgram
_, Version
_, ProgramDb
progdb') <- Verbosity
-> Program
-> VersionRange
-> ProgramDb
-> IO (ConfiguredProgram, Version, ProgramDb)
requireProgramVersion
(Verbosity -> Verbosity
lessVerbose Verbosity
verbosity) Program
pkgConfigProgram
(Version -> VersionRange
orLaterVersion (Version -> VersionRange) -> Version -> VersionRange
forall a b. (a -> b) -> a -> b
$ [Int] -> Version
mkVersion [Int
0,Int
9,Int
0]) ProgramDb
progdb
(PkgconfigDependency -> IO ()) -> [PkgconfigDependency] -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
(a -> f b) -> t a -> f ()
traverse_ PkgconfigDependency -> IO ()
requirePkg [PkgconfigDependency]
allpkgs
Maybe Library
mlib' <- (Library -> IO Library) -> Maybe Library -> IO (Maybe Library)
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse Library -> IO Library
addPkgConfigBILib (PackageDescription -> Maybe Library
library PackageDescription
pkg_descr)
[Library]
libs' <- (Library -> IO Library) -> [Library] -> IO [Library]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse Library -> IO Library
addPkgConfigBILib (PackageDescription -> [Library]
subLibraries PackageDescription
pkg_descr)
[Executable]
exes' <- (Executable -> IO Executable) -> [Executable] -> IO [Executable]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse Executable -> IO Executable
addPkgConfigBIExe (PackageDescription -> [Executable]
executables PackageDescription
pkg_descr)
[TestSuite]
tests' <- (TestSuite -> IO TestSuite) -> [TestSuite] -> IO [TestSuite]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse TestSuite -> IO TestSuite
addPkgConfigBITest (PackageDescription -> [TestSuite]
testSuites PackageDescription
pkg_descr)
[Benchmark]
benches' <- (Benchmark -> IO Benchmark) -> [Benchmark] -> IO [Benchmark]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
traverse Benchmark -> IO Benchmark
addPkgConfigBIBench (PackageDescription -> [Benchmark]
benchmarks PackageDescription
pkg_descr)
let pkg_descr' :: PackageDescription
pkg_descr' = PackageDescription
pkg_descr { library :: Maybe Library
library = Maybe Library
mlib',
subLibraries :: [Library]
subLibraries = [Library]
libs', executables :: [Executable]
executables = [Executable]
exes',
testSuites :: [TestSuite]
testSuites = [TestSuite]
tests', benchmarks :: [Benchmark]
benchmarks = [Benchmark]
benches' }
(PackageDescription, ProgramDb)
-> IO (PackageDescription, ProgramDb)
forall (m :: * -> *) a. Monad m => a -> m a
return (PackageDescription
pkg_descr', ProgramDb
progdb')
where
allpkgs :: [PkgconfigDependency]
allpkgs = (BuildInfo -> [PkgconfigDependency])
-> [BuildInfo] -> [PkgconfigDependency]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap BuildInfo -> [PkgconfigDependency]
pkgconfigDepends (PackageDescription -> ComponentRequestedSpec -> [BuildInfo]
enabledBuildInfos PackageDescription
pkg_descr ComponentRequestedSpec
enabled)
pkgconfig :: [String] -> NoCallStackIO String
pkgconfig = Verbosity -> Program -> ProgramDb -> [String] -> IO String
getDbProgramOutput (Verbosity -> Verbosity
lessVerbose Verbosity
verbosity)
Program
pkgConfigProgram ProgramDb
progdb
requirePkg :: PkgconfigDependency -> IO ()
requirePkg dep :: PkgconfigDependency
dep@(PkgconfigDependency PkgconfigName
pkgn PkgconfigVersionRange
range) = do
String
version <- [String] -> NoCallStackIO String
pkgconfig [String
"--modversion", String
pkg]
NoCallStackIO String
-> (IOException -> NoCallStackIO String) -> NoCallStackIO String
forall a. IO a -> (IOException -> IO a) -> IO a
`catchIO` (\IOException
_ -> Verbosity -> String -> IO String
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity String
notFound)
NoCallStackIO String
-> (ExitCode -> NoCallStackIO String) -> NoCallStackIO String
forall a. IO a -> (ExitCode -> IO a) -> IO a
`catchExit` (\ExitCode
_ -> Verbosity -> String -> IO String
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity String
notFound)
case String -> Maybe PkgconfigVersion
forall a. Parsec a => String -> Maybe a
simpleParsec String
version of
Maybe PkgconfigVersion
Nothing -> Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity
String
"parsing output of pkg-config --modversion failed"
Just PkgconfigVersion
v | Bool -> Bool
not (PkgconfigVersion -> PkgconfigVersionRange -> Bool
withinPkgconfigVersionRange PkgconfigVersion
v PkgconfigVersionRange
range) ->
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (PkgconfigVersion -> String
forall a. Pretty a => a -> String
badVersion PkgconfigVersion
v)
| Bool
otherwise ->
Verbosity -> String -> IO ()
info Verbosity
verbosity (PkgconfigVersion -> String
forall a. Pretty a => a -> String
depSatisfied PkgconfigVersion
v)
where
notFound :: String
notFound = String
"The pkg-config package '" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
pkg String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"'"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
versionRequirement
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" is required but it could not be found."
badVersion :: a -> String
badVersion a
v = String
"The pkg-config package '" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
pkg String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"'"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
versionRequirement
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" is required but the version installed on the"
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" system is version " String -> ShowS
forall a. [a] -> [a] -> [a]
++ a -> String
forall a. Pretty a => a -> String
prettyShow a
v
depSatisfied :: a -> String
depSatisfied a
v = String
"Dependency " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PkgconfigDependency -> String
forall a. Pretty a => a -> String
prettyShow PkgconfigDependency
dep
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
": using version " String -> ShowS
forall a. [a] -> [a] -> [a]
++ a -> String
forall a. Pretty a => a -> String
prettyShow a
v
versionRequirement :: String
versionRequirement
| PkgconfigVersionRange -> Bool
isAnyPkgconfigVersion PkgconfigVersionRange
range = String
""
| Bool
otherwise = String
" version " String -> ShowS
forall a. [a] -> [a] -> [a]
++ PkgconfigVersionRange -> String
forall a. Pretty a => a -> String
prettyShow PkgconfigVersionRange
range
pkg :: String
pkg = PkgconfigName -> String
unPkgconfigName PkgconfigName
pkgn
addPkgConfigBI :: (t -> BuildInfo) -> (t -> BuildInfo -> b) -> t -> IO b
addPkgConfigBI t -> BuildInfo
compBI t -> BuildInfo -> b
setCompBI t
comp = do
BuildInfo
bi <- [PkgconfigDependency] -> NoCallStackIO BuildInfo
pkgconfigBuildInfo (BuildInfo -> [PkgconfigDependency]
pkgconfigDepends (t -> BuildInfo
compBI t
comp))
b -> IO b
forall (m :: * -> *) a. Monad m => a -> m a
return (b -> IO b) -> b -> IO b
forall a b. (a -> b) -> a -> b
$ t -> BuildInfo -> b
setCompBI t
comp (t -> BuildInfo
compBI t
comp BuildInfo -> BuildInfo -> BuildInfo
forall a. Monoid a => a -> a -> a
`mappend` BuildInfo
bi)
addPkgConfigBILib :: Library -> IO Library
addPkgConfigBILib = (Library -> BuildInfo)
-> (Library -> BuildInfo -> Library) -> Library -> IO Library
forall t b. (t -> BuildInfo) -> (t -> BuildInfo -> b) -> t -> IO b
addPkgConfigBI Library -> BuildInfo
libBuildInfo ((Library -> BuildInfo -> Library) -> Library -> IO Library)
-> (Library -> BuildInfo -> Library) -> Library -> IO Library
forall a b. (a -> b) -> a -> b
$
\Library
lib BuildInfo
bi -> Library
lib { libBuildInfo :: BuildInfo
libBuildInfo = BuildInfo
bi }
addPkgConfigBIExe :: Executable -> IO Executable
addPkgConfigBIExe = (Executable -> BuildInfo)
-> (Executable -> BuildInfo -> Executable)
-> Executable
-> IO Executable
forall t b. (t -> BuildInfo) -> (t -> BuildInfo -> b) -> t -> IO b
addPkgConfigBI Executable -> BuildInfo
buildInfo ((Executable -> BuildInfo -> Executable)
-> Executable -> IO Executable)
-> (Executable -> BuildInfo -> Executable)
-> Executable
-> IO Executable
forall a b. (a -> b) -> a -> b
$
\Executable
exe BuildInfo
bi -> Executable
exe { buildInfo :: BuildInfo
buildInfo = BuildInfo
bi }
addPkgConfigBITest :: TestSuite -> IO TestSuite
addPkgConfigBITest = (TestSuite -> BuildInfo)
-> (TestSuite -> BuildInfo -> TestSuite)
-> TestSuite
-> IO TestSuite
forall t b. (t -> BuildInfo) -> (t -> BuildInfo -> b) -> t -> IO b
addPkgConfigBI TestSuite -> BuildInfo
testBuildInfo ((TestSuite -> BuildInfo -> TestSuite)
-> TestSuite -> IO TestSuite)
-> (TestSuite -> BuildInfo -> TestSuite)
-> TestSuite
-> IO TestSuite
forall a b. (a -> b) -> a -> b
$
\TestSuite
test BuildInfo
bi -> TestSuite
test { testBuildInfo :: BuildInfo
testBuildInfo = BuildInfo
bi }
addPkgConfigBIBench :: Benchmark -> IO Benchmark
addPkgConfigBIBench = (Benchmark -> BuildInfo)
-> (Benchmark -> BuildInfo -> Benchmark)
-> Benchmark
-> IO Benchmark
forall t b. (t -> BuildInfo) -> (t -> BuildInfo -> b) -> t -> IO b
addPkgConfigBI Benchmark -> BuildInfo
benchmarkBuildInfo ((Benchmark -> BuildInfo -> Benchmark)
-> Benchmark -> IO Benchmark)
-> (Benchmark -> BuildInfo -> Benchmark)
-> Benchmark
-> IO Benchmark
forall a b. (a -> b) -> a -> b
$
\Benchmark
bench BuildInfo
bi -> Benchmark
bench { benchmarkBuildInfo :: BuildInfo
benchmarkBuildInfo = BuildInfo
bi }
pkgconfigBuildInfo :: [PkgconfigDependency] -> NoCallStackIO BuildInfo
pkgconfigBuildInfo :: [PkgconfigDependency] -> NoCallStackIO BuildInfo
pkgconfigBuildInfo [] = BuildInfo -> NoCallStackIO BuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return BuildInfo
forall a. Monoid a => a
mempty
pkgconfigBuildInfo [PkgconfigDependency]
pkgdeps = do
let pkgs :: [String]
pkgs = [String] -> [String]
forall a. Eq a => [a] -> [a]
nub [ PkgconfigName -> String
forall a. Pretty a => a -> String
prettyShow PkgconfigName
pkg | PkgconfigDependency PkgconfigName
pkg PkgconfigVersionRange
_ <- [PkgconfigDependency]
pkgdeps ]
String
ccflags <- [String] -> NoCallStackIO String
pkgconfig (String
"--cflags" String -> [String] -> [String]
forall a. a -> [a] -> [a]
: [String]
pkgs)
String
ldflags <- [String] -> NoCallStackIO String
pkgconfig (String
"--libs" String -> [String] -> [String]
forall a. a -> [a] -> [a]
: [String]
pkgs)
BuildInfo -> NoCallStackIO BuildInfo
forall (m :: * -> *) a. Monad m => a -> m a
return ([String] -> [String] -> BuildInfo
ccLdOptionsBuildInfo (String -> [String]
words String
ccflags) (String -> [String]
words String
ldflags))
ccLdOptionsBuildInfo :: [String] -> [String] -> BuildInfo
ccLdOptionsBuildInfo :: [String] -> [String] -> BuildInfo
ccLdOptionsBuildInfo [String]
cflags [String]
ldflags =
let ([String]
includeDirs', [String]
cflags') = (String -> Bool) -> [String] -> ([String], [String])
forall a. (a -> Bool) -> [a] -> ([a], [a])
partition (String
"-I" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isPrefixOf`) [String]
cflags
([String]
extraLibs', [String]
ldflags') = (String -> Bool) -> [String] -> ([String], [String])
forall a. (a -> Bool) -> [a] -> ([a], [a])
partition (String
"-l" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isPrefixOf`) [String]
ldflags
([String]
extraLibDirs', [String]
ldflags'') = (String -> Bool) -> [String] -> ([String], [String])
forall a. (a -> Bool) -> [a] -> ([a], [a])
partition (String
"-L" String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isPrefixOf`) [String]
ldflags'
in BuildInfo
forall a. Monoid a => a
mempty {
includeDirs :: [String]
PD.includeDirs = ShowS -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map (Int -> ShowS
forall a. Int -> [a] -> [a]
drop Int
2) [String]
includeDirs',
extraLibs :: [String]
PD.extraLibs = ShowS -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map (Int -> ShowS
forall a. Int -> [a] -> [a]
drop Int
2) [String]
extraLibs',
extraLibDirs :: [String]
PD.extraLibDirs = ShowS -> [String] -> [String]
forall a b. (a -> b) -> [a] -> [b]
map (Int -> ShowS
forall a. Int -> [a] -> [a]
drop Int
2) [String]
extraLibDirs',
ccOptions :: [String]
PD.ccOptions = [String]
cflags',
ldOptions :: [String]
PD.ldOptions = [String]
ldflags''
}
configCompilerAuxEx :: ConfigFlags
-> IO (Compiler, Platform, ProgramDb)
configCompilerAuxEx :: ConfigFlags -> IO (Compiler, Platform, ProgramDb)
configCompilerAuxEx ConfigFlags
cfg = Maybe CompilerFlavor
-> Maybe String
-> Maybe String
-> ProgramDb
-> Verbosity
-> IO (Compiler, Platform, ProgramDb)
configCompilerEx (Flag CompilerFlavor -> Maybe CompilerFlavor
forall a. Flag a -> Maybe a
flagToMaybe (Flag CompilerFlavor -> Maybe CompilerFlavor)
-> Flag CompilerFlavor -> Maybe CompilerFlavor
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag CompilerFlavor
configHcFlavor ConfigFlags
cfg)
(Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (Flag String -> Maybe String) -> Flag String -> Maybe String
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag String
configHcPath ConfigFlags
cfg)
(Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (Flag String -> Maybe String) -> Flag String -> Maybe String
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag String
configHcPkg ConfigFlags
cfg)
ProgramDb
programDb
(Flag Verbosity -> Verbosity
forall a. WithCallStack (Flag a -> a)
fromFlag (ConfigFlags -> Flag Verbosity
configVerbosity ConfigFlags
cfg))
where
programDb :: ProgramDb
programDb = ConfigFlags -> ProgramDb -> ProgramDb
mkProgramDb ConfigFlags
cfg ProgramDb
defaultProgramDb
configCompilerEx :: Maybe CompilerFlavor -> Maybe FilePath -> Maybe FilePath
-> ProgramDb -> Verbosity
-> IO (Compiler, Platform, ProgramDb)
configCompilerEx :: Maybe CompilerFlavor
-> Maybe String
-> Maybe String
-> ProgramDb
-> Verbosity
-> IO (Compiler, Platform, ProgramDb)
configCompilerEx Maybe CompilerFlavor
Nothing Maybe String
_ Maybe String
_ ProgramDb
_ Verbosity
verbosity = Verbosity -> String -> IO (Compiler, Platform, ProgramDb)
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity String
"Unknown compiler"
configCompilerEx (Just CompilerFlavor
hcFlavor) Maybe String
hcPath Maybe String
hcPkg ProgramDb
progdb Verbosity
verbosity = do
(Compiler
comp, Maybe Platform
maybePlatform, ProgramDb
programDb) <- case CompilerFlavor
hcFlavor of
CompilerFlavor
GHC -> Verbosity
-> Maybe String
-> Maybe String
-> ProgramDb
-> IO (Compiler, Maybe Platform, ProgramDb)
GHC.configure Verbosity
verbosity Maybe String
hcPath Maybe String
hcPkg ProgramDb
progdb
CompilerFlavor
GHCJS -> Verbosity
-> Maybe String
-> Maybe String
-> ProgramDb
-> IO (Compiler, Maybe Platform, ProgramDb)
GHCJS.configure Verbosity
verbosity Maybe String
hcPath Maybe String
hcPkg ProgramDb
progdb
CompilerFlavor
UHC -> Verbosity
-> Maybe String
-> Maybe String
-> ProgramDb
-> IO (Compiler, Maybe Platform, ProgramDb)
UHC.configure Verbosity
verbosity Maybe String
hcPath Maybe String
hcPkg ProgramDb
progdb
HaskellSuite {} -> Verbosity
-> Maybe String
-> Maybe String
-> ProgramDb
-> IO (Compiler, Maybe Platform, ProgramDb)
HaskellSuite.configure Verbosity
verbosity Maybe String
hcPath Maybe String
hcPkg ProgramDb
progdb
CompilerFlavor
_ -> Verbosity -> String -> IO (Compiler, Maybe Platform, ProgramDb)
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity String
"Unknown compiler"
(Compiler, Platform, ProgramDb)
-> IO (Compiler, Platform, ProgramDb)
forall (m :: * -> *) a. Monad m => a -> m a
return (Compiler
comp, Platform -> Maybe Platform -> Platform
forall a. a -> Maybe a -> a
fromMaybe Platform
buildPlatform Maybe Platform
maybePlatform, ProgramDb
programDb)
checkForeignDeps :: PackageDescription -> LocalBuildInfo -> Verbosity -> IO ()
checkForeignDeps :: PackageDescription -> LocalBuildInfo -> Verbosity -> IO ()
checkForeignDeps PackageDescription
pkg LocalBuildInfo
lbi Verbosity
verbosity =
[String] -> [String] -> IO () -> IO () -> IO ()
forall b. [String] -> [String] -> IO b -> IO b -> IO b
ifBuildsWith [String]
allHeaders ([String]
commonCcArgs [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [String] -> [String]
makeLdArgs [String]
allLibs)
(() -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ())
(do [String]
missingLibs <- IO [String]
findMissingLibs
Maybe (Either String String)
missingHdr <- IO (Maybe (Either String String))
findOffendingHdr
Maybe (Either String String) -> [String] -> IO ()
explainErrors Maybe (Either String String)
missingHdr [String]
missingLibs)
where
allHeaders :: [String]
allHeaders = (BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.includes
allLibs :: [String]
allLibs = (BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.extraLibs
ifBuildsWith :: [String] -> [String] -> IO b -> IO b -> IO b
ifBuildsWith [String]
headers [String]
args IO b
success IO b
failure = do
IO ()
checkDuplicateHeaders
Bool
ok <- String -> [String] -> IO Bool
builds ([String] -> String
makeProgram [String]
headers) [String]
args
if Bool
ok then IO b
success else IO b
failure
checkDuplicateHeaders :: IO ()
checkDuplicateHeaders = do
let relIncDirs :: [String]
relIncDirs = (String -> Bool) -> [String] -> [String]
forall a. (a -> Bool) -> [a] -> [a]
filter (Bool -> Bool
not (Bool -> Bool) -> (String -> Bool) -> String -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Bool
isAbsolute) ((BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.includeDirs)
isHeader :: String -> Bool
isHeader = String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
isSuffixOf String
".h"
[[String]]
genHeaders <- [String] -> (String -> IO [String]) -> IO [[String]]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
t a -> (a -> m b) -> m (t b)
forM [String]
relIncDirs ((String -> IO [String]) -> IO [[String]])
-> (String -> IO [String]) -> IO [[String]]
forall a b. (a -> b) -> a -> b
$ \String
dir ->
ShowS -> [String] -> [String]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (String
dir String -> ShowS
</>) ([String] -> [String])
-> ([String] -> [String]) -> [String] -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (String -> Bool) -> [String] -> [String]
forall a. (a -> Bool) -> [a] -> [a]
filter String -> Bool
isHeader ([String] -> [String]) -> IO [String] -> IO [String]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$>
String -> IO [String]
listDirectory (LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi String -> ShowS
</> String
dir) IO [String] -> (IOException -> IO [String]) -> IO [String]
forall a. IO a -> (IOException -> IO a) -> IO a
`catchIO` (\IOException
_ -> [String] -> IO [String]
forall (m :: * -> *) a. Monad m => a -> m a
return [])
[[String]]
srcHeaders <- [String] -> (String -> IO [String]) -> IO [[String]]
forall (t :: * -> *) (m :: * -> *) a b.
(Traversable t, Monad m) =>
t a -> (a -> m b) -> m (t b)
forM [String]
relIncDirs ((String -> IO [String]) -> IO [[String]])
-> (String -> IO [String]) -> IO [[String]]
forall a b. (a -> b) -> a -> b
$ \String
dir ->
ShowS -> [String] -> [String]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (String
dir String -> ShowS
</>) ([String] -> [String])
-> ([String] -> [String]) -> [String] -> [String]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (String -> Bool) -> [String] -> [String]
forall a. (a -> Bool) -> [a] -> [a]
filter String -> Bool
isHeader ([String] -> [String]) -> IO [String] -> IO [String]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$>
String -> IO [String]
listDirectory (LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi String -> ShowS
</> String
dir) IO [String] -> (IOException -> IO [String]) -> IO [String]
forall a. IO a -> (IOException -> IO a) -> IO a
`catchIO` (\IOException
_ -> [String] -> IO [String]
forall (m :: * -> *) a. Monad m => a -> m a
return [])
let commonHeaders :: [String]
commonHeaders = [[String]] -> [String]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [[String]]
genHeaders [String] -> [String] -> [String]
forall a. Eq a => [a] -> [a] -> [a]
`intersect` [[String]] -> [String]
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat [[String]]
srcHeaders
[String] -> (String -> IO ()) -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
t a -> (a -> m b) -> m ()
forM_ [String]
commonHeaders ((String -> IO ()) -> IO ()) -> (String -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \String
hdr -> do
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Duplicate header found in "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ (LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi String -> ShowS
</> String
hdr)
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
" and "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ (LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi String -> ShowS
</> String
hdr)
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"; removing "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ (LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi String -> ShowS
</> String
hdr)
String -> IO ()
removeFile (LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi String -> ShowS
</> String
hdr)
findOffendingHdr :: IO (Maybe (Either String String))
findOffendingHdr =
[String]
-> [String]
-> IO (Maybe (Either String String))
-> IO (Maybe (Either String String))
-> IO (Maybe (Either String String))
forall b. [String] -> [String] -> IO b -> IO b -> IO b
ifBuildsWith [String]
allHeaders [String]
ccArgs
(Maybe (Either String String) -> IO (Maybe (Either String String))
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe (Either String String)
forall a. Maybe a
Nothing)
([[String]] -> IO (Maybe (Either String String))
go ([[String]] -> IO (Maybe (Either String String)))
-> ([String] -> [[String]])
-> [String]
-> IO (Maybe (Either String String))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [[String]] -> [[String]]
forall a. [a] -> [a]
tail ([[String]] -> [[String]])
-> ([String] -> [[String]]) -> [String] -> [[String]]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> [[String]]
forall a. [a] -> [[a]]
inits ([String] -> IO (Maybe (Either String String)))
-> [String] -> IO (Maybe (Either String String))
forall a b. (a -> b) -> a -> b
$ [String]
allHeaders)
where
go :: [[String]] -> IO (Maybe (Either String String))
go [] = Maybe (Either String String) -> IO (Maybe (Either String String))
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe (Either String String)
forall a. Maybe a
Nothing
go ([String]
hdrs:[[String]]
hdrsInits) =
[String]
-> [String]
-> IO (Maybe (Either String String))
-> IO (Maybe (Either String String))
-> IO (Maybe (Either String String))
forall b. [String] -> [String] -> IO b -> IO b -> IO b
ifBuildsWith [String]
hdrs [String]
cppArgs
([String]
-> [String]
-> IO (Maybe (Either String String))
-> IO (Maybe (Either String String))
-> IO (Maybe (Either String String))
forall b. [String] -> [String] -> IO b -> IO b -> IO b
ifBuildsWith [String]
hdrs [String]
ccArgs
([[String]] -> IO (Maybe (Either String String))
go [[String]]
hdrsInits)
(Maybe (Either String String) -> IO (Maybe (Either String String))
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe (Either String String) -> IO (Maybe (Either String String)))
-> ([String] -> Maybe (Either String String))
-> [String]
-> IO (Maybe (Either String String))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Either String String -> Maybe (Either String String)
forall a. a -> Maybe a
Just (Either String String -> Maybe (Either String String))
-> ([String] -> Either String String)
-> [String]
-> Maybe (Either String String)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Either String String
forall a b. b -> Either a b
Right (String -> Either String String)
-> ([String] -> String) -> [String] -> Either String String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
forall a. [a] -> a
last ([String] -> IO (Maybe (Either String String)))
-> [String] -> IO (Maybe (Either String String))
forall a b. (a -> b) -> a -> b
$ [String]
hdrs))
(Maybe (Either String String) -> IO (Maybe (Either String String))
forall (m :: * -> *) a. Monad m => a -> m a
return (Maybe (Either String String) -> IO (Maybe (Either String String)))
-> ([String] -> Maybe (Either String String))
-> [String]
-> IO (Maybe (Either String String))
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Either String String -> Maybe (Either String String)
forall a. a -> Maybe a
Just (Either String String -> Maybe (Either String String))
-> ([String] -> Either String String)
-> [String]
-> Maybe (Either String String)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Either String String
forall a b. a -> Either a b
Left (String -> Either String String)
-> ([String] -> String) -> [String] -> Either String String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
forall a. [a] -> a
last ([String] -> IO (Maybe (Either String String)))
-> [String] -> IO (Maybe (Either String String))
forall a b. (a -> b) -> a -> b
$ [String]
hdrs)
cppArgs :: [String]
cppArgs = String
"-E"String -> [String] -> [String]
forall a. a -> [a] -> [a]
:[String]
commonCppArgs
ccArgs :: [String]
ccArgs = String
"-c"String -> [String] -> [String]
forall a. a -> [a] -> [a]
:[String]
commonCcArgs
findMissingLibs :: IO [String]
findMissingLibs = [String] -> [String] -> IO [String] -> IO [String] -> IO [String]
forall b. [String] -> [String] -> IO b -> IO b -> IO b
ifBuildsWith [] ([String] -> [String]
makeLdArgs [String]
allLibs)
([String] -> IO [String]
forall (m :: * -> *) a. Monad m => a -> m a
return [])
((String -> IO Bool) -> [String] -> IO [String]
forall (m :: * -> *) a.
Applicative m =>
(a -> m Bool) -> [a] -> m [a]
filterM ((Bool -> Bool) -> IO Bool -> IO Bool
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Bool -> Bool
not (IO Bool -> IO Bool) -> (String -> IO Bool) -> String -> IO Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> IO Bool
libExists) [String]
allLibs)
libExists :: String -> IO Bool
libExists String
lib = String -> [String] -> IO Bool
builds ([String] -> String
makeProgram []) ([String] -> [String]
makeLdArgs [String
lib])
baseDir :: LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi' = String -> Maybe String -> String
forall a. a -> Maybe a -> a
fromMaybe String
"." (ShowS
takeDirectory ShowS -> Maybe String -> Maybe String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> LocalBuildInfo -> Maybe String
cabalFilePath LocalBuildInfo
lbi')
commonCppArgs :: [String]
commonCppArgs = LocalBuildInfo -> [String]
platformDefines LocalBuildInfo
lbi
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
"-I" String -> ShowS
forall a. [a] -> [a] -> [a]
++ LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi String -> ShowS
</> String
"autogen" ]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
"-I" String -> ShowS
forall a. [a] -> [a] -> [a]
++ LocalBuildInfo -> String
buildDir LocalBuildInfo
lbi String -> ShowS
</> String
dir
| String
dir <- [String] -> [String]
forall a. Ord a => [a] -> [a]
ordNub ((BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.includeDirs)
, Bool -> Bool
not (String -> Bool
isAbsolute String
dir)]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
"-I" String -> ShowS
forall a. [a] -> [a] -> [a]
++ LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi String -> ShowS
</> String
dir
| String
dir <- [String] -> [String]
forall a. Ord a => [a] -> [a]
ordNub ((BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.includeDirs)
, Bool -> Bool
not (String -> Bool
isAbsolute String
dir)]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
"-I" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
dir | String
dir <- [String] -> [String]
forall a. Ord a => [a] -> [a]
ordNub ((BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.includeDirs)
, String -> Bool
isAbsolute String
dir]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [String
"-I" String -> ShowS
forall a. [a] -> [a] -> [a]
++ LocalBuildInfo -> String
baseDir LocalBuildInfo
lbi]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ (BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.cppOptions
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ (BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.ccOptions
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
"-I" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
dir
| String
dir <- [String] -> [String]
forall a. Ord a => [a] -> [a]
ordNub [ String
dir
| InstalledPackageInfo
dep <- [InstalledPackageInfo]
deps
, String
dir <- InstalledPackageInfo -> [String]
Installed.includeDirs InstalledPackageInfo
dep ]
]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
opt
| InstalledPackageInfo
dep <- [InstalledPackageInfo]
deps
, String
opt <- InstalledPackageInfo -> [String]
Installed.ccOptions InstalledPackageInfo
dep ]
commonCcArgs :: [String]
commonCcArgs = [String]
commonCppArgs
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ (BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.ccOptions
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
opt
| InstalledPackageInfo
dep <- [InstalledPackageInfo]
deps
, String
opt <- InstalledPackageInfo -> [String]
Installed.ccOptions InstalledPackageInfo
dep ]
commonLdArgs :: [String]
commonLdArgs = [ String
"-L" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
dir
| String
dir <- [String] -> [String]
forall a. Ord a => [a] -> [a]
ordNub ((BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.extraLibDirs) ]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ (BuildInfo -> [String]) -> [String]
forall b. (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [String]
PD.ldOptions
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [ String
"-L" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
dir
| String
dir <- [String] -> [String]
forall a. Ord a => [a] -> [a]
ordNub [ String
dir
| InstalledPackageInfo
dep <- [InstalledPackageInfo]
deps
, String
dir <- InstalledPackageInfo -> [String]
Installed.libraryDirs InstalledPackageInfo
dep ]
]
makeLdArgs :: [String] -> [String]
makeLdArgs [String]
libs = [ String
"-l"String -> ShowS
forall a. [a] -> [a] -> [a]
++String
lib | String
lib <- [String]
libs ] [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [String]
commonLdArgs
makeProgram :: [String] -> String
makeProgram [String]
hdrs = [String] -> String
unlines ([String] -> String) -> [String] -> String
forall a b. (a -> b) -> a -> b
$
[ String
"#include \"" String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
hdr String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"\"" | String
hdr <- [String]
hdrs ] [String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++
[String
"int main(int argc, char** argv) { return 0; }"]
collectField :: (BuildInfo -> [b]) -> [b]
collectField BuildInfo -> [b]
f = (BuildInfo -> [b]) -> [BuildInfo] -> [b]
forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap BuildInfo -> [b]
f [BuildInfo]
allBi
allBi :: [BuildInfo]
allBi = PackageDescription -> ComponentRequestedSpec -> [BuildInfo]
enabledBuildInfos PackageDescription
pkg (LocalBuildInfo -> ComponentRequestedSpec
componentEnabledSpec LocalBuildInfo
lbi)
deps :: [InstalledPackageInfo]
deps = InstalledPackageIndex -> [InstalledPackageInfo]
forall a. PackageInstalled a => PackageIndex a -> [a]
PackageIndex.topologicalOrder (LocalBuildInfo -> InstalledPackageIndex
installedPkgs LocalBuildInfo
lbi)
builds :: String -> [String] -> IO Bool
builds String
program [String]
args = do
String
tempDir <- NoCallStackIO String
getTemporaryDirectory
String -> String -> (String -> Handle -> IO Bool) -> IO Bool
forall a. String -> String -> (String -> Handle -> IO a) -> IO a
withTempFile String
tempDir String
".c" ((String -> Handle -> IO Bool) -> IO Bool)
-> (String -> Handle -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \String
cName Handle
cHnd ->
String -> String -> (String -> Handle -> IO Bool) -> IO Bool
forall a. String -> String -> (String -> Handle -> IO a) -> IO a
withTempFile String
tempDir String
"" ((String -> Handle -> IO Bool) -> IO Bool)
-> (String -> Handle -> IO Bool) -> IO Bool
forall a b. (a -> b) -> a -> b
$ \String
oNname Handle
oHnd -> do
Handle -> String -> IO ()
hPutStrLn Handle
cHnd String
program
Handle -> IO ()
hClose Handle
cHnd
Handle -> IO ()
hClose Handle
oHnd
String
_ <- Verbosity -> Program -> ProgramDb -> [String] -> IO String
getDbProgramOutput Verbosity
verbosity
Program
gccProgram (LocalBuildInfo -> ProgramDb
withPrograms LocalBuildInfo
lbi) (String
cNameString -> [String] -> [String]
forall a. a -> [a] -> [a]
:String
"-o"String -> [String] -> [String]
forall a. a -> [a] -> [a]
:String
oNnameString -> [String] -> [String]
forall a. a -> [a] -> [a]
:[String]
args)
Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
True
IO Bool -> (IOException -> IO Bool) -> IO Bool
forall a. IO a -> (IOException -> IO a) -> IO a
`catchIO` (\IOException
_ -> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False)
IO Bool -> (ExitCode -> IO Bool) -> IO Bool
forall a. IO a -> (ExitCode -> IO a) -> IO a
`catchExit` (\ExitCode
_ -> Bool -> IO Bool
forall (m :: * -> *) a. Monad m => a -> m a
return Bool
False)
explainErrors :: Maybe (Either String String) -> [String] -> IO ()
explainErrors Maybe (Either String String)
Nothing [] = () -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
explainErrors Maybe (Either String String)
_ [String]
_
| Maybe ConfiguredProgram -> Bool
forall a. Maybe a -> Bool
isNothing (Maybe ConfiguredProgram -> Bool)
-> (LocalBuildInfo -> Maybe ConfiguredProgram)
-> LocalBuildInfo
-> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Program -> ProgramDb -> Maybe ConfiguredProgram
lookupProgram Program
gccProgram (ProgramDb -> Maybe ConfiguredProgram)
-> (LocalBuildInfo -> ProgramDb)
-> LocalBuildInfo
-> Maybe ConfiguredProgram
forall b c a. (b -> c) -> (a -> b) -> a -> c
. LocalBuildInfo -> ProgramDb
withPrograms (LocalBuildInfo -> Bool) -> LocalBuildInfo -> Bool
forall a b. (a -> b) -> a -> b
$ LocalBuildInfo
lbi
= Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ [String] -> String
unlines
[ String
"No working gcc",
String
"This package depends on foreign library but we cannot "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"find a working C compiler. If you have it in a "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"non-standard location you can use the --with-gcc "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"flag to specify it." ]
explainErrors Maybe (Either String String)
hdr [String]
libs = Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ [String] -> String
unlines ([String] -> String) -> [String] -> String
forall a b. (a -> b) -> a -> b
$
[ if Bool
plural
then String
"Missing dependencies on foreign libraries:"
else String
"Missing dependency on a foreign library:"
| Bool
missing ]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ case Maybe (Either String String)
hdr of
Just (Left String
h) -> [String
"* Missing (or bad) header file: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
h ]
Maybe (Either String String)
_ -> []
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ case [String]
libs of
[] -> []
[String
lib] -> [String
"* Missing (or bad) C library: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
lib]
[String]
_ -> [String
"* Missing (or bad) C libraries: " String -> ShowS
forall a. [a] -> [a] -> [a]
++
String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
", " [String]
libs]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ [if Bool
plural then String
messagePlural else String
messageSingular | Bool
missing]
[String] -> [String] -> [String]
forall a. [a] -> [a] -> [a]
++ case Maybe (Either String String)
hdr of
Just (Left String
_) -> [ String
headerCppMessage ]
Just (Right String
h) -> [ (if Bool
missing then String
"* " else String
"")
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"Bad header file: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
h
, String
headerCcMessage ]
Maybe (Either String String)
_ -> []
where
plural :: Bool
plural = [String] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [String]
libs Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= Int
2
missing :: Bool
missing = Bool -> Bool
not ([String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [String]
libs)
Bool -> Bool -> Bool
|| case Maybe (Either String String)
hdr of Just (Left _) -> Bool
True; Maybe (Either String String)
_ -> Bool
False
messageSingular :: String
messageSingular =
String
"This problem can usually be solved by installing the system "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"package that provides this library (you may need the "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"\"-dev\" version). If the library is already installed "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"but in a non-standard location then you can use the flags "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"--extra-include-dirs= and --extra-lib-dirs= to specify "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"where it is."
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"If the library file does exist, it may contain errors that "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"are caught by the C compiler at the preprocessing stage. "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"In this case you can re-run configure with the verbosity "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"flag -v3 to see the error messages."
messagePlural :: String
messagePlural =
String
"This problem can usually be solved by installing the system "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"packages that provide these libraries (you may need the "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"\"-dev\" versions). If the libraries are already installed "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"but in a non-standard location then you can use the flags "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"--extra-include-dirs= and --extra-lib-dirs= to specify "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"where they are."
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"If the library files do exist, it may contain errors that "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"are caught by the C compiler at the preprocessing stage. "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"In this case you can re-run configure with the verbosity "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"flag -v3 to see the error messages."
headerCppMessage :: String
headerCppMessage =
String
"If the header file does exist, it may contain errors that "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"are caught by the C compiler at the preprocessing stage. "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"In this case you can re-run configure with the verbosity "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"flag -v3 to see the error messages."
headerCcMessage :: String
headerCcMessage =
String
"The header file contains a compile error. "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"You can re-run configure with the verbosity flag "
String -> ShowS
forall a. [a] -> [a] -> [a]
++ String
"-v3 to see the error messages from the C compiler."
checkPackageProblems :: Verbosity
-> FilePath
-> GenericPackageDescription
-> PackageDescription
-> IO ()
checkPackageProblems :: Verbosity
-> String
-> GenericPackageDescription
-> PackageDescription
-> IO ()
checkPackageProblems Verbosity
verbosity String
dir GenericPackageDescription
gpkg PackageDescription
pkg = do
[PackageCheck]
ioChecks <- Verbosity
-> PackageDescription -> String -> NoCallStackIO [PackageCheck]
checkPackageFiles Verbosity
verbosity PackageDescription
pkg String
dir
let pureChecks :: [PackageCheck]
pureChecks = GenericPackageDescription
-> Maybe PackageDescription -> [PackageCheck]
checkPackage GenericPackageDescription
gpkg (PackageDescription -> Maybe PackageDescription
forall a. a -> Maybe a
Just PackageDescription
pkg)
errors :: [String]
errors = [ String
e | PackageBuildImpossible String
e <- [PackageCheck]
pureChecks [PackageCheck] -> [PackageCheck] -> [PackageCheck]
forall a. [a] -> [a] -> [a]
++ [PackageCheck]
ioChecks ]
warnings :: [String]
warnings = [ String
w | PackageBuildWarning String
w <- [PackageCheck]
pureChecks [PackageCheck] -> [PackageCheck] -> [PackageCheck]
forall a. [a] -> [a] -> [a]
++ [PackageCheck]
ioChecks ]
if [String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null [String]
errors
then (String -> IO ()) -> [String] -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
(a -> f b) -> t a -> f ()
traverse_ (Verbosity -> String -> IO ()
warn Verbosity
verbosity) [String]
warnings
else Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> [String] -> String
forall a. [a] -> [[a]] -> [a]
intercalate String
"\n\n" [String]
errors)
checkRelocatable :: Verbosity
-> PackageDescription
-> LocalBuildInfo
-> IO ()
checkRelocatable :: Verbosity -> PackageDescription -> LocalBuildInfo -> IO ()
checkRelocatable Verbosity
verbosity PackageDescription
pkg LocalBuildInfo
lbi
= [IO ()] -> IO ()
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
t (m a) -> m ()
sequence_ [ IO ()
checkOS
, IO ()
checkCompiler
, IO ()
packagePrefixRelative
, IO ()
depsPrefixRelative
]
where
checkOS :: IO ()
checkOS
= Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (OS
os OS -> [OS] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [ OS
OSX, OS
Linux ])
(IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Operating system: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ OS -> String
forall a. Pretty a => a -> String
prettyShow OS
os String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
", does not support relocatable builds"
where
(Platform Arch
_ OS
os) = LocalBuildInfo -> Platform
hostPlatform LocalBuildInfo
lbi
checkCompiler :: IO ()
checkCompiler
= Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (Compiler -> CompilerFlavor
compilerFlavor Compiler
comp CompilerFlavor -> [CompilerFlavor] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [ CompilerFlavor
GHC ])
(IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Compiler: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ Compiler -> String
forall a. Show a => a -> String
show Compiler
comp String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
", does not support relocatable builds"
where
comp :: Compiler
comp = LocalBuildInfo -> Compiler
compiler LocalBuildInfo
lbi
packagePrefixRelative :: IO ()
packagePrefixRelative
= Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (InstallDirs String -> Bool
relativeInstallDirs InstallDirs String
installDirs)
(IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$ Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ String
"Installation directories are not prefix_relative:\n" String -> ShowS
forall a. [a] -> [a] -> [a]
++
InstallDirs String -> String
forall a. Show a => a -> String
show InstallDirs String
installDirs
where
installDirs :: InstallDirs String
installDirs = PackageDescription
-> LocalBuildInfo -> CopyDest -> InstallDirs String
absoluteInstallDirs PackageDescription
pkg LocalBuildInfo
lbi CopyDest
NoCopyDest
p :: String
p = InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
installDirs
relativeInstallDirs :: InstallDirs String -> Bool
relativeInstallDirs (InstallDirs {String
haddockdir :: forall dir. InstallDirs dir -> dir
htmldir :: forall dir. InstallDirs dir -> dir
mandir :: forall dir. InstallDirs dir -> dir
datasubdir :: forall dir. InstallDirs dir -> dir
includedir :: forall dir. InstallDirs dir -> dir
libexecsubdir :: forall dir. InstallDirs dir -> dir
flibdir :: forall dir. InstallDirs dir -> dir
libsubdir :: forall dir. InstallDirs dir -> dir
sysconfdir :: String
haddockdir :: String
htmldir :: String
mandir :: String
docdir :: String
datasubdir :: String
datadir :: String
includedir :: String
libexecsubdir :: String
libexecdir :: String
flibdir :: String
dynlibdir :: String
libsubdir :: String
libdir :: String
bindir :: String
prefix :: String
sysconfdir :: forall dir. InstallDirs dir -> dir
docdir :: forall dir. InstallDirs dir -> dir
datadir :: forall dir. InstallDirs dir -> dir
libexecdir :: forall dir. InstallDirs dir -> dir
dynlibdir :: forall dir. InstallDirs dir -> dir
libdir :: forall dir. InstallDirs dir -> dir
bindir :: forall dir. InstallDirs dir -> dir
prefix :: forall dir. InstallDirs dir -> dir
..}) =
(Maybe String -> Bool) -> [Maybe String] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all Maybe String -> Bool
forall a. Maybe a -> Bool
isJust
((String -> Maybe String) -> [String] -> [Maybe String]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (String -> String -> Maybe String
forall a. Eq a => [a] -> [a] -> Maybe [a]
stripPrefix String
p)
[ String
bindir, String
libdir, String
dynlibdir, String
libexecdir, String
includedir, String
datadir
, String
docdir, String
mandir, String
htmldir, String
haddockdir, String
sysconfdir] )
depsPrefixRelative :: IO ()
depsPrefixRelative = do
String
pkgr <- Verbosity -> LocalBuildInfo -> PackageDB -> IO String
GHC.pkgRoot Verbosity
verbosity LocalBuildInfo
lbi (PackageDBStack -> PackageDB
forall a. [a] -> a
last (LocalBuildInfo -> PackageDBStack
withPackageDB LocalBuildInfo
lbi))
(InstalledPackageInfo -> IO ()) -> [InstalledPackageInfo] -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
(a -> f b) -> t a -> f ()
traverse_ (String -> InstalledPackageInfo -> IO ()
doCheck String
pkgr) [InstalledPackageInfo]
ipkgs
where
doCheck :: String -> InstalledPackageInfo -> IO ()
doCheck String
pkgr InstalledPackageInfo
ipkg
| Bool -> (String -> Bool) -> Maybe String -> Bool
forall b a. b -> (a -> b) -> Maybe a -> b
maybe Bool
False (String -> String -> Bool
forall a. Eq a => a -> a -> Bool
== String
pkgr) (InstalledPackageInfo -> Maybe String
Installed.pkgRoot InstalledPackageInfo
ipkg)
= [String] -> (String -> IO ()) -> IO ()
forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
t a -> (a -> m b) -> m ()
forM_ (InstalledPackageInfo -> [String]
Installed.libraryDirs InstalledPackageInfo
ipkg) ((String -> IO ()) -> IO ()) -> (String -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \String
libdir -> do
String
canonicalized <- String -> NoCallStackIO String
canonicalizePath String
libdir
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (String
p String -> String -> Bool
forall a. Eq a => [a] -> [a] -> Bool
`isPrefixOf` String
canonicalized) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
Verbosity -> String -> IO ()
forall a. Verbosity -> String -> IO a
die' Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$ ShowS
forall a. Show a => a -> String
msg String
libdir
| Bool
otherwise
= () -> IO ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()
installDirs :: InstallDirs String
installDirs = PackageDescription
-> LocalBuildInfo -> CopyDest -> InstallDirs String
absoluteInstallDirs PackageDescription
pkg LocalBuildInfo
lbi CopyDest
NoCopyDest
p :: String
p = InstallDirs String -> String
forall dir. InstallDirs dir -> dir
prefix InstallDirs String
installDirs
ipkgs :: [InstalledPackageInfo]
ipkgs = InstalledPackageIndex -> [InstalledPackageInfo]
forall a. PackageIndex a -> [a]
PackageIndex.allPackages (LocalBuildInfo -> InstalledPackageIndex
installedPkgs LocalBuildInfo
lbi)
msg :: a -> String
msg a
l = String
"Library directory of a dependency: " String -> ShowS
forall a. [a] -> [a] -> [a]
++ a -> String
forall a. Show a => a -> String
show a
l String -> ShowS
forall a. [a] -> [a] -> [a]
++
String
"\nis not relative to the installation prefix:\n" String -> ShowS
forall a. [a] -> [a] -> [a]
++
ShowS
forall a. Show a => a -> String
show String
p
unsupportedForeignLibs :: Compiler -> Platform -> [ForeignLib] -> [String]
unsupportedForeignLibs :: Compiler -> Platform -> [ForeignLib] -> [String]
unsupportedForeignLibs Compiler
comp Platform
platform =
(ForeignLib -> Maybe String) -> [ForeignLib] -> [String]
forall a b. (a -> Maybe b) -> [a] -> [b]
mapMaybe (Compiler -> Platform -> ForeignLib -> Maybe String
checkForeignLibSupported Compiler
comp Platform
platform)
checkForeignLibSupported :: Compiler -> Platform -> ForeignLib -> Maybe String
checkForeignLibSupported :: Compiler -> Platform -> ForeignLib -> Maybe String
checkForeignLibSupported Compiler
comp Platform
platform ForeignLib
flib = CompilerFlavor -> Maybe String
go (Compiler -> CompilerFlavor
compilerFlavor Compiler
comp)
where
go :: CompilerFlavor -> Maybe String
go :: CompilerFlavor -> Maybe String
go CompilerFlavor
GHC
| Compiler -> Version
compilerVersion Compiler
comp Version -> Version -> Bool
forall a. Ord a => a -> a -> Bool
< [Int] -> Version
mkVersion [Int
7,Int
8] = [String] -> Maybe String
unsupported [
String
"Building foreign libraires is only supported with GHC >= 7.8"
]
| Bool
otherwise = Platform -> Maybe String
goGhcPlatform Platform
platform
go CompilerFlavor
_ = [String] -> Maybe String
unsupported [
String
"Building foreign libraries is currently only supported with ghc"
]
goGhcPlatform :: Platform -> Maybe String
goGhcPlatform :: Platform -> Maybe String
goGhcPlatform (Platform Arch
X86_64 OS
OSX ) = ForeignLibType -> Maybe String
goGhcOsx (ForeignLib -> ForeignLibType
foreignLibType ForeignLib
flib)
goGhcPlatform (Platform Arch
_ OS
Linux ) = ForeignLibType -> Maybe String
goGhcLinux (ForeignLib -> ForeignLibType
foreignLibType ForeignLib
flib)
goGhcPlatform (Platform Arch
I386 OS
Windows) = ForeignLibType -> Maybe String
goGhcWindows (ForeignLib -> ForeignLibType
foreignLibType ForeignLib
flib)
goGhcPlatform (Platform Arch
X86_64 OS
Windows) = ForeignLibType -> Maybe String
goGhcWindows (ForeignLib -> ForeignLibType
foreignLibType ForeignLib
flib)
goGhcPlatform Platform
_ = [String] -> Maybe String
unsupported [
String
"Building foreign libraries is currently only supported on OSX, "
, String
"Linux and Windows"
]
goGhcOsx :: ForeignLibType -> Maybe String
goGhcOsx :: ForeignLibType -> Maybe String
goGhcOsx ForeignLibType
ForeignLibNativeShared
| Bool -> Bool
not ([String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ForeignLib -> [String]
foreignLibModDefFile ForeignLib
flib)) = [String] -> Maybe String
unsupported [
String
"Module definition file not supported on OSX"
]
| Bool -> Bool
not (Maybe LibVersionInfo -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ForeignLib -> Maybe LibVersionInfo
foreignLibVersionInfo ForeignLib
flib)) = [String] -> Maybe String
unsupported [
String
"Foreign library versioning not currently supported on OSX"
]
| Bool
otherwise =
Maybe String
forall a. Maybe a
Nothing
goGhcOsx ForeignLibType
_ = [String] -> Maybe String
unsupported [
String
"We can currently only build shared foreign libraries on OSX"
]
goGhcLinux :: ForeignLibType -> Maybe String
goGhcLinux :: ForeignLibType -> Maybe String
goGhcLinux ForeignLibType
ForeignLibNativeShared
| Bool -> Bool
not ([String] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ForeignLib -> [String]
foreignLibModDefFile ForeignLib
flib)) = [String] -> Maybe String
unsupported [
String
"Module definition file not supported on Linux"
]
| Bool -> Bool
not (Maybe LibVersionInfo -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ForeignLib -> Maybe LibVersionInfo
foreignLibVersionInfo ForeignLib
flib))
Bool -> Bool -> Bool
&& Bool -> Bool
not (Maybe Version -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ForeignLib -> Maybe Version
foreignLibVersionLinux ForeignLib
flib)) = [String] -> Maybe String
unsupported [
String
"You must not specify both lib-version-info and lib-version-linux"
]
| Bool
otherwise =
Maybe String
forall a. Maybe a
Nothing
goGhcLinux ForeignLibType
_ = [String] -> Maybe String
unsupported [
String
"We can currently only build shared foreign libraries on Linux"
]
goGhcWindows :: ForeignLibType -> Maybe String
goGhcWindows :: ForeignLibType -> Maybe String
goGhcWindows ForeignLibType
ForeignLibNativeShared
| Bool -> Bool
not Bool
standalone = [String] -> Maybe String
unsupported [
String
"We can currently only build standalone libraries on Windows. Use\n"
, String
" if os(Windows)\n"
, String
" options: standalone\n"
, String
"in your foreign-library stanza."
]
| Bool -> Bool
not (Maybe LibVersionInfo -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (ForeignLib -> Maybe LibVersionInfo
foreignLibVersionInfo ForeignLib
flib)) = [String] -> Maybe String
unsupported [
String
"Foreign library versioning not currently supported on Windows.\n"
, String
"You can specify module definition files in the mod-def-file field."
]
| Bool
otherwise =
Maybe String
forall a. Maybe a
Nothing
goGhcWindows ForeignLibType
_ = [String] -> Maybe String
unsupported [
String
"We can currently only build shared foreign libraries on Windows"
]
standalone :: Bool
standalone :: Bool
standalone = ForeignLibOption
ForeignLibStandalone ForeignLibOption -> [ForeignLibOption] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` ForeignLib -> [ForeignLibOption]
foreignLibOptions ForeignLib
flib
unsupported :: [String] -> Maybe String
unsupported :: [String] -> Maybe String
unsupported = String -> Maybe String
forall a. a -> Maybe a
Just (String -> Maybe String)
-> ([String] -> String) -> [String] -> Maybe String
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [String] -> String
forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat