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