{-# LANGUAGE CPP #-}
module Distribution.Client.Configure
( configure
, configureSetupScript
, chooseCabalVersion
, checkConfigExFlags
, readConfigFlagsFrom
, readConfigFlags
, cabalConfigFlagsFile
, writeConfigFlagsTo
, writeConfigFlags
) where
import Distribution.Client.Compat.Prelude
import Distribution.Utils.Generic (safeHead)
import Prelude ()
import Distribution.Client.Dependency
import Distribution.Client.IndexUtils as IndexUtils
( getInstalledPackages
, getSourcePackages
)
import qualified Distribution.Client.InstallPlan as InstallPlan
import Distribution.Client.JobControl (Lock)
import Distribution.Client.Setup
( ConfigExFlags (..)
, RepoContext (..)
, configureCommand
, configureExCommand
, filterConfigureFlags
)
import Distribution.Client.SetupWrapper
( SetupScriptOptions (..)
, defaultSetupScriptOptions
, setupWrapper
)
import Distribution.Client.SolverInstallPlan (SolverInstallPlan)
import Distribution.Client.Targets
( userConstraintPackageName
, userToPackageConstraint
)
import Distribution.Client.Types as Source
import qualified Distribution.Solver.Types.ComponentDeps as CD
import Distribution.Solver.Types.ConstraintSource
import Distribution.Solver.Types.LabeledPackageConstraint
import Distribution.Solver.Types.OptionalStanza
import Distribution.Solver.Types.PackageIndex
( PackageIndex
, elemByPackageName
)
import Distribution.Solver.Types.PkgConfigDb
( PkgConfigDb
, readPkgConfigDb
)
import Distribution.Solver.Types.Settings
import Distribution.Solver.Types.SourcePackage
import Distribution.Client.SavedFlags (readCommandFlags, writeCommandFlags)
import Distribution.Package
( Package (..)
, PackageId
, packageName
)
import qualified Distribution.PackageDescription as PkgDesc
import Distribution.PackageDescription.Configuration
( finalizePD
)
import Distribution.Simple.Compiler
( Compiler
, CompilerInfo
, PackageDB (..)
, PackageDBStack
, compilerInfo
)
import Distribution.Simple.PackageDescription
( readGenericPackageDescription
)
import Distribution.Simple.PackageIndex as PackageIndex
( InstalledPackageIndex
, lookupPackageName
)
import Distribution.Simple.Program (ProgramDb)
import Distribution.Simple.Setup
( ConfigFlags (..)
, flagToMaybe
, fromFlagOrDefault
, toFlag
)
import Distribution.Simple.Utils as Utils
( debug
, defaultPackageDesc
, dieWithException
, notice
, warn
)
import Distribution.System
( Platform
)
import Distribution.Types.GivenComponent
( GivenComponent (..)
)
import Distribution.Types.PackageVersionConstraint
( PackageVersionConstraint (..)
, thisPackageVersionConstraint
)
import Distribution.Version
( Version
, VersionRange
, anyVersion
, thisVersion
)
import Distribution.Client.Errors
import System.FilePath ((</>))
chooseCabalVersion :: ConfigExFlags -> Maybe Version -> VersionRange
chooseCabalVersion :: ConfigExFlags -> Maybe Version -> VersionRange
chooseCabalVersion ConfigExFlags
_configExFlags Maybe Version
maybeVersion =
VersionRange
-> (Version -> VersionRange) -> Maybe Version -> VersionRange
forall b a. b -> (a -> b) -> Maybe a -> b
maybe VersionRange
anyVersion Version -> VersionRange
thisVersion Maybe Version
maybeVersion
configure
:: Verbosity
-> PackageDBStack
-> RepoContext
-> Compiler
-> Platform
-> ProgramDb
-> ConfigFlags
-> ConfigExFlags
-> [String]
-> IO ()
configure :: Verbosity
-> PackageDBStack
-> RepoContext
-> Compiler
-> Platform
-> ProgramDb
-> ConfigFlags
-> ConfigExFlags
-> [String]
-> IO ()
configure
Verbosity
verbosity
PackageDBStack
packageDBs
RepoContext
repoCtxt
Compiler
comp
Platform
platform
ProgramDb
progdb
ConfigFlags
configFlags
ConfigExFlags
configExFlags
[String]
extraArgs = do
installedPkgIndex <- Verbosity
-> Compiler
-> PackageDBStack
-> ProgramDb
-> IO InstalledPackageIndex
getInstalledPackages Verbosity
verbosity Compiler
comp PackageDBStack
packageDBs ProgramDb
progdb
sourcePkgDb <- getSourcePackages verbosity repoCtxt
pkgConfigDb <- readPkgConfigDb verbosity progdb
checkConfigExFlags
verbosity
installedPkgIndex
(packageIndex sourcePkgDb)
configExFlags
progress <-
planLocalPackage
verbosity
comp
platform
configFlags
configExFlags
installedPkgIndex
sourcePkgDb
pkgConfigDb
notice verbosity "Resolving dependencies..."
maybePlan <-
foldProgress
logMsg
(return . Left)
(return . Right)
progress
case maybePlan of
Left String
message -> do
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"solver failed to find a solution:\n"
String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
message
String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
"\nTrying configure anyway."
Verbosity
-> SetupScriptOptions
-> Maybe PackageDescription
-> CommandUI ConfigFlags
-> (Version -> ConfigFlags)
-> (Version -> [String])
-> IO ()
forall flags.
Verbosity
-> SetupScriptOptions
-> Maybe PackageDescription
-> CommandUI flags
-> (Version -> flags)
-> (Version -> [String])
-> IO ()
setupWrapper
Verbosity
verbosity
(InstalledPackageIndex -> Maybe ReadyPackage -> SetupScriptOptions
setupScriptOptions InstalledPackageIndex
installedPkgIndex Maybe ReadyPackage
forall a. Maybe a
Nothing)
Maybe PackageDescription
forall a. Maybe a
Nothing
CommandUI ConfigFlags
configureCommand
(ConfigFlags -> Version -> ConfigFlags
forall a b. a -> b -> a
const ConfigFlags
configFlags)
([String] -> Version -> [String]
forall a b. a -> b -> a
const [String]
extraArgs)
Right SolverInstallPlan
installPlan0 ->
let installPlan :: InstallPlan
installPlan = ConfigFlags -> SolverInstallPlan -> InstallPlan
InstallPlan.configureInstallPlan ConfigFlags
configFlags SolverInstallPlan
installPlan0
in case ([ReadyPackage], Processing) -> [ReadyPackage]
forall a b. (a, b) -> a
fst (InstallPlan -> ([ReadyPackage], Processing)
forall ipkg srcpkg.
(IsUnit ipkg, IsUnit srcpkg) =>
GenericInstallPlan ipkg srcpkg
-> ([GenericReadyPackage srcpkg], Processing)
InstallPlan.ready InstallPlan
installPlan) of
[ pkg :: ReadyPackage
pkg@( ReadyPackage
( ConfiguredPackage
InstalledPackageId
_
(SourcePackage PackageId
_ GenericPackageDescription
_ (LocalUnpackedPackage String
_) PackageDescriptionOverride
_)
FlagAssignment
_
OptionalStanzaSet
_
ComponentDeps [ConfiguredId]
_
)
)
] -> do
Verbosity
-> Platform
-> CompilerInfo
-> SetupScriptOptions
-> ConfigFlags
-> ReadyPackage
-> [String]
-> IO ()
configurePackage
Verbosity
verbosity
Platform
platform
(Compiler -> CompilerInfo
compilerInfo Compiler
comp)
(InstalledPackageIndex -> Maybe ReadyPackage -> SetupScriptOptions
setupScriptOptions InstalledPackageIndex
installedPkgIndex (ReadyPackage -> Maybe ReadyPackage
forall a. a -> Maybe a
Just ReadyPackage
pkg))
ConfigFlags
configFlags
ReadyPackage
pkg
[String]
extraArgs
[ReadyPackage]
_ ->
Verbosity -> CabalInstallException -> IO ()
forall a1 a.
(HasCallStack, Show a1, Typeable a1,
Exception (VerboseException a1)) =>
Verbosity -> a1 -> IO a
dieWithException Verbosity
verbosity CabalInstallException
ConfigureInstallInternalError
where
setupScriptOptions
:: InstalledPackageIndex
-> Maybe ReadyPackage
-> SetupScriptOptions
setupScriptOptions :: InstalledPackageIndex -> Maybe ReadyPackage -> SetupScriptOptions
setupScriptOptions =
PackageDBStack
-> Compiler
-> Platform
-> ProgramDb
-> String
-> VersionRange
-> Maybe Lock
-> Bool
-> InstalledPackageIndex
-> Maybe ReadyPackage
-> SetupScriptOptions
configureSetupScript
PackageDBStack
packageDBs
Compiler
comp
Platform
platform
ProgramDb
progdb
( String -> Flag String -> String
forall a. a -> Flag a -> a
fromFlagOrDefault
(SetupScriptOptions -> String
useDistPref SetupScriptOptions
defaultSetupScriptOptions)
(ConfigFlags -> Flag String
configDistPref ConfigFlags
configFlags)
)
( ConfigExFlags -> Maybe Version -> VersionRange
chooseCabalVersion
ConfigExFlags
configExFlags
(Flag Version -> Maybe Version
forall a. Flag a -> Maybe a
flagToMaybe (ConfigExFlags -> Flag Version
configCabalVersion ConfigExFlags
configExFlags))
)
Maybe Lock
forall a. Maybe a
Nothing
Bool
False
logMsg :: String -> IO b -> IO b
logMsg String
message IO b
rest = Verbosity -> String -> IO ()
debug Verbosity
verbosity String
message IO () -> IO b -> IO b
forall a b. IO a -> IO b -> IO b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> IO b
rest
configureSetupScript
:: PackageDBStack
-> Compiler
-> Platform
-> ProgramDb
-> FilePath
-> VersionRange
-> Maybe Lock
-> Bool
-> InstalledPackageIndex
-> Maybe ReadyPackage
-> SetupScriptOptions
configureSetupScript :: PackageDBStack
-> Compiler
-> Platform
-> ProgramDb
-> String
-> VersionRange
-> Maybe Lock
-> Bool
-> InstalledPackageIndex
-> Maybe ReadyPackage
-> SetupScriptOptions
configureSetupScript
PackageDBStack
packageDBs
Compiler
comp
Platform
platform
ProgramDb
progdb
String
distPref
VersionRange
cabalVersion
Maybe Lock
lock
Bool
forceExternal
InstalledPackageIndex
index
Maybe ReadyPackage
mpkg =
SetupScriptOptions
{ useCabalVersion :: VersionRange
useCabalVersion = VersionRange
cabalVersion
, useCabalSpecVersion :: Maybe Version
useCabalSpecVersion = Maybe Version
forall a. Maybe a
Nothing
, useCompiler :: Maybe Compiler
useCompiler = Compiler -> Maybe Compiler
forall a. a -> Maybe a
Just Compiler
comp
, usePlatform :: Maybe Platform
usePlatform = Platform -> Maybe Platform
forall a. a -> Maybe a
Just Platform
platform
, usePackageDB :: PackageDBStack
usePackageDB = PackageDBStack
packageDBs'
, usePackageIndex :: Maybe InstalledPackageIndex
usePackageIndex = Maybe InstalledPackageIndex
index'
, useProgramDb :: ProgramDb
useProgramDb = ProgramDb
progdb
, useDistPref :: String
useDistPref = String
distPref
, useLoggingHandle :: Maybe Handle
useLoggingHandle = Maybe Handle
forall a. Maybe a
Nothing
, useWorkingDir :: Maybe String
useWorkingDir = Maybe String
forall a. Maybe a
Nothing
, useExtraPathEnv :: [String]
useExtraPathEnv = []
, useExtraEnvOverrides :: [(String, Maybe String)]
useExtraEnvOverrides = []
, setupCacheLock :: Maybe Lock
setupCacheLock = Maybe Lock
lock
, useWin32CleanHack :: Bool
useWin32CleanHack = Bool
False
, forceExternalSetupMethod :: Bool
forceExternalSetupMethod = Bool
forceExternal
,
useDependencies :: [(InstalledPackageId, PackageId)]
useDependencies = [(InstalledPackageId, PackageId)]
-> Maybe [(InstalledPackageId, PackageId)]
-> [(InstalledPackageId, PackageId)]
forall a. a -> Maybe a -> a
fromMaybe [] Maybe [(InstalledPackageId, PackageId)]
explicitSetupDeps
, useDependenciesExclusive :: Bool
useDependenciesExclusive = Bool -> Bool
not Bool
defaultSetupDeps Bool -> Bool -> Bool
&& Maybe [(InstalledPackageId, PackageId)] -> Bool
forall a. Maybe a -> Bool
isJust Maybe [(InstalledPackageId, PackageId)]
explicitSetupDeps
, useVersionMacros :: Bool
useVersionMacros = Bool -> Bool
not Bool
defaultSetupDeps Bool -> Bool -> Bool
&& Maybe [(InstalledPackageId, PackageId)] -> Bool
forall a. Maybe a -> Bool
isJust Maybe [(InstalledPackageId, PackageId)]
explicitSetupDeps
, isInteractive :: Bool
isInteractive = Bool
False
}
where
packageDBs' :: PackageDBStack
index' :: Maybe InstalledPackageIndex
(PackageDBStack
packageDBs', Maybe InstalledPackageIndex
index') =
case PackageDBStack
packageDBs of
(PackageDB
GlobalPackageDB : PackageDBStack
dbs)
| PackageDB
UserPackageDB PackageDB -> PackageDBStack -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`notElem` PackageDBStack
dbs
, Maybe [(InstalledPackageId, PackageId)]
Nothing <- Maybe [(InstalledPackageId, PackageId)]
explicitSetupDeps ->
(PackageDB
GlobalPackageDB PackageDB -> PackageDBStack -> PackageDBStack
forall a. a -> [a] -> [a]
: PackageDB
UserPackageDB PackageDB -> PackageDBStack -> PackageDBStack
forall a. a -> [a] -> [a]
: PackageDBStack
dbs, Maybe InstalledPackageIndex
forall a. Maybe a
Nothing)
PackageDBStack
_otherwise -> (PackageDBStack
packageDBs, InstalledPackageIndex -> Maybe InstalledPackageIndex
forall a. a -> Maybe a
Just InstalledPackageIndex
index)
maybeSetupBuildInfo :: Maybe PkgDesc.SetupBuildInfo
maybeSetupBuildInfo :: Maybe SetupBuildInfo
maybeSetupBuildInfo = do
ReadyPackage cpkg <- Maybe ReadyPackage
mpkg
let gpkg = UnresolvedSourcePackage -> GenericPackageDescription
forall loc. SourcePackage loc -> GenericPackageDescription
srcpkgDescription (ConfiguredPackage UnresolvedPkgLoc -> UnresolvedSourcePackage
forall loc. ConfiguredPackage loc -> SourcePackage loc
confPkgSource ConfiguredPackage UnresolvedPkgLoc
cpkg)
PkgDesc.setupBuildInfo (PkgDesc.packageDescription gpkg)
defaultSetupDeps :: Bool
defaultSetupDeps :: Bool
defaultSetupDeps =
Bool -> (SetupBuildInfo -> Bool) -> Maybe SetupBuildInfo -> Bool
forall b a. b -> (a -> b) -> Maybe a -> b
maybe
Bool
False
SetupBuildInfo -> Bool
PkgDesc.defaultSetupDepends
Maybe SetupBuildInfo
maybeSetupBuildInfo
explicitSetupDeps :: Maybe [(InstalledPackageId, PackageId)]
explicitSetupDeps :: Maybe [(InstalledPackageId, PackageId)]
explicitSetupDeps = do
_buildInfo <- Maybe SetupBuildInfo
maybeSetupBuildInfo
ReadyPackage cpkg <- mpkg
return
[ (cid, srcid)
| ConfiguredId
srcid
(Just (PkgDesc.CLibName PkgDesc.LMainLibName))
cid <-
CD.setupDeps (confPkgDeps cpkg)
]
checkConfigExFlags
:: Package pkg
=> Verbosity
-> InstalledPackageIndex
-> PackageIndex pkg
-> ConfigExFlags
-> IO ()
checkConfigExFlags :: forall pkg.
Package pkg =>
Verbosity
-> InstalledPackageIndex
-> PackageIndex pkg
-> ConfigExFlags
-> IO ()
checkConfigExFlags Verbosity
verbosity InstalledPackageIndex
installedPkgIndex PackageIndex pkg
sourcePkgIndex ConfigExFlags
flags = do
Maybe (UserConstraint, ConstraintSource)
-> ((UserConstraint, ConstraintSource) -> IO ()) -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
t a -> (a -> f b) -> f ()
for_ ([(UserConstraint, ConstraintSource)]
-> Maybe (UserConstraint, ConstraintSource)
forall a. [a] -> Maybe a
safeHead [(UserConstraint, ConstraintSource)]
unknownConstraints) (((UserConstraint, ConstraintSource) -> IO ()) -> IO ())
-> ((UserConstraint, ConstraintSource) -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \(UserConstraint, ConstraintSource)
h ->
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"Constraint refers to an unknown package: "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ (UserConstraint, ConstraintSource) -> String
forall {a}. Pretty a => (a, ConstraintSource) -> String
showConstraint (UserConstraint, ConstraintSource)
h
Maybe PackageVersionConstraint
-> (PackageVersionConstraint -> IO ()) -> IO ()
forall (t :: * -> *) (f :: * -> *) a b.
(Foldable t, Applicative f) =>
t a -> (a -> f b) -> f ()
for_ ([PackageVersionConstraint] -> Maybe PackageVersionConstraint
forall a. [a] -> Maybe a
safeHead [PackageVersionConstraint]
unknownPreferences) ((PackageVersionConstraint -> IO ()) -> IO ())
-> (PackageVersionConstraint -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \PackageVersionConstraint
h ->
Verbosity -> String -> IO ()
warn Verbosity
verbosity (String -> IO ()) -> String -> IO ()
forall a b. (a -> b) -> a -> b
$
String
"Preference refers to an unknown package: "
String -> String -> String
forall a. [a] -> [a] -> [a]
++ PackageVersionConstraint -> String
forall a. Pretty a => a -> String
prettyShow PackageVersionConstraint
h
where
unknownConstraints :: [(UserConstraint, ConstraintSource)]
unknownConstraints =
((UserConstraint, ConstraintSource) -> Bool)
-> [(UserConstraint, ConstraintSource)]
-> [(UserConstraint, ConstraintSource)]
forall a. (a -> Bool) -> [a] -> [a]
filter (PackageName -> Bool
unknown (PackageName -> Bool)
-> ((UserConstraint, ConstraintSource) -> PackageName)
-> (UserConstraint, ConstraintSource)
-> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. UserConstraint -> PackageName
userConstraintPackageName (UserConstraint -> PackageName)
-> ((UserConstraint, ConstraintSource) -> UserConstraint)
-> (UserConstraint, ConstraintSource)
-> PackageName
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (UserConstraint, ConstraintSource) -> UserConstraint
forall a b. (a, b) -> a
fst) ([(UserConstraint, ConstraintSource)]
-> [(UserConstraint, ConstraintSource)])
-> [(UserConstraint, ConstraintSource)]
-> [(UserConstraint, ConstraintSource)]
forall a b. (a -> b) -> a -> b
$
ConfigExFlags -> [(UserConstraint, ConstraintSource)]
configExConstraints ConfigExFlags
flags
unknownPreferences :: [PackageVersionConstraint]
unknownPreferences =
(PackageVersionConstraint -> Bool)
-> [PackageVersionConstraint] -> [PackageVersionConstraint]
forall a. (a -> Bool) -> [a] -> [a]
filter (PackageName -> Bool
unknown (PackageName -> Bool)
-> (PackageVersionConstraint -> PackageName)
-> PackageVersionConstraint
-> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. \(PackageVersionConstraint PackageName
name VersionRange
_) -> PackageName
name) ([PackageVersionConstraint] -> [PackageVersionConstraint])
-> [PackageVersionConstraint] -> [PackageVersionConstraint]
forall a b. (a -> b) -> a -> b
$
ConfigExFlags -> [PackageVersionConstraint]
configPreferences ConfigExFlags
flags
unknown :: PackageName -> Bool
unknown PackageName
pkg =
[(Version, [InstalledPackageInfo])] -> Bool
forall a. [a] -> Bool
forall (t :: * -> *) a. Foldable t => t a -> Bool
null (InstalledPackageIndex
-> PackageName -> [(Version, [InstalledPackageInfo])]
forall a. PackageIndex a -> PackageName -> [(Version, [a])]
PackageIndex.lookupPackageName InstalledPackageIndex
installedPkgIndex PackageName
pkg)
Bool -> Bool -> Bool
&& Bool -> Bool
not (PackageIndex pkg -> PackageName -> Bool
forall pkg. Package pkg => PackageIndex pkg -> PackageName -> Bool
elemByPackageName PackageIndex pkg
sourcePkgIndex PackageName
pkg)
showConstraint :: (a, ConstraintSource) -> String
showConstraint (a
uc, ConstraintSource
src) =
a -> String
forall a. Pretty a => a -> String
prettyShow a
uc String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
" (" String -> String -> String
forall a. [a] -> [a] -> [a]
++ ConstraintSource -> String
showConstraintSource ConstraintSource
src String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
")"
planLocalPackage
:: Verbosity
-> Compiler
-> Platform
-> ConfigFlags
-> ConfigExFlags
-> InstalledPackageIndex
-> SourcePackageDb
-> PkgConfigDb
-> IO (Progress String String SolverInstallPlan)
planLocalPackage :: Verbosity
-> Compiler
-> Platform
-> ConfigFlags
-> ConfigExFlags
-> InstalledPackageIndex
-> SourcePackageDb
-> PkgConfigDb
-> IO (Progress String String SolverInstallPlan)
planLocalPackage
Verbosity
verbosity
Compiler
comp
Platform
platform
ConfigFlags
configFlags
ConfigExFlags
configExFlags
InstalledPackageIndex
installedPkgIndex
(SourcePackageDb PackageIndex UnresolvedSourcePackage
_ Map PackageName VersionRange
packagePrefs)
PkgConfigDb
pkgConfigDb = do
pkg <-
Verbosity -> String -> IO GenericPackageDescription
readGenericPackageDescription Verbosity
verbosity
(String -> IO GenericPackageDescription)
-> IO String -> IO GenericPackageDescription
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< case Flag String -> Maybe String
forall a. Flag a -> Maybe a
flagToMaybe (ConfigFlags -> Flag String
configCabalFilePath ConfigFlags
configFlags) of
Maybe String
Nothing -> Verbosity -> IO String
defaultPackageDesc Verbosity
verbosity
Just String
fp -> String -> IO String
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return String
fp
let
localPkg =
SourcePackage
{ srcpkgPackageId :: PackageId
srcpkgPackageId = GenericPackageDescription -> PackageId
forall pkg. Package pkg => pkg -> PackageId
packageId GenericPackageDescription
pkg
, srcpkgDescription :: GenericPackageDescription
srcpkgDescription = GenericPackageDescription
pkg
, srcpkgSource :: PackageLocation local
srcpkgSource = String -> PackageLocation local
forall local. String -> PackageLocation local
LocalUnpackedPackage String
"."
, srcpkgDescrOverride :: PackageDescriptionOverride
srcpkgDescrOverride = PackageDescriptionOverride
forall a. Maybe a
Nothing
}
testsEnabled :: Bool
testsEnabled = Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configTests ConfigFlags
configFlags
benchmarksEnabled :: Bool
benchmarksEnabled =
Bool -> Flag Bool -> Bool
forall a. a -> Flag a -> a
fromFlagOrDefault Bool
False (Flag Bool -> Bool) -> Flag Bool -> Bool
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> Flag Bool
configBenchmarks ConfigFlags
configFlags
resolverParams :: DepResolverParams
resolverParams =
AllowOlder -> DepResolverParams -> DepResolverParams
removeLowerBounds
(AllowOlder -> Maybe AllowOlder -> AllowOlder
forall a. a -> Maybe a -> a
fromMaybe (RelaxDeps -> AllowOlder
AllowOlder RelaxDeps
forall a. Monoid a => a
mempty) (Maybe AllowOlder -> AllowOlder) -> Maybe AllowOlder -> AllowOlder
forall a b. (a -> b) -> a -> b
$ ConfigExFlags -> Maybe AllowOlder
configAllowOlder ConfigExFlags
configExFlags)
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. AllowNewer -> DepResolverParams -> DepResolverParams
removeUpperBounds
(AllowNewer -> Maybe AllowNewer -> AllowNewer
forall a. a -> Maybe a -> a
fromMaybe (RelaxDeps -> AllowNewer
AllowNewer RelaxDeps
forall a. Monoid a => a
mempty) (Maybe AllowNewer -> AllowNewer) -> Maybe AllowNewer -> AllowNewer
forall a b. (a -> b) -> a -> b
$ ConfigExFlags -> Maybe AllowNewer
configAllowNewer ConfigExFlags
configExFlags)
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [PackagePreference] -> DepResolverParams -> DepResolverParams
addPreferences
[ PackageName -> VersionRange -> PackagePreference
PackageVersionPreference PackageName
name VersionRange
ver
| PackageVersionConstraint PackageName
name VersionRange
ver <- ConfigExFlags -> [PackageVersionConstraint]
configPreferences ConfigExFlags
configExFlags
]
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [LabeledPackageConstraint]
-> DepResolverParams -> DepResolverParams
addConstraints
[ PackageConstraint -> ConstraintSource -> LabeledPackageConstraint
LabeledPackageConstraint (UserConstraint -> PackageConstraint
userToPackageConstraint UserConstraint
uc) ConstraintSource
src
| (UserConstraint
uc, ConstraintSource
src) <- ConfigExFlags -> [(UserConstraint, ConstraintSource)]
configExConstraints ConfigExFlags
configExFlags
]
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [LabeledPackageConstraint]
-> DepResolverParams -> DepResolverParams
addConstraints
[ let pc :: PackageConstraint
pc =
ConstraintScope -> PackageProperty -> PackageConstraint
PackageConstraint
(PackageName -> ConstraintScope
scopeToplevel (PackageName -> ConstraintScope) -> PackageName -> ConstraintScope
forall a b. (a -> b) -> a -> b
$ GenericPackageDescription -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName GenericPackageDescription
pkg)
(FlagAssignment -> PackageProperty
PackagePropertyFlags (FlagAssignment -> PackageProperty)
-> FlagAssignment -> PackageProperty
forall a b. (a -> b) -> a -> b
$ ConfigFlags -> FlagAssignment
configConfigurationsFlags ConfigFlags
configFlags)
in PackageConstraint -> ConstraintSource -> LabeledPackageConstraint
LabeledPackageConstraint PackageConstraint
pc ConstraintSource
ConstraintSourceConfigFlagOrTarget
]
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [LabeledPackageConstraint]
-> DepResolverParams -> DepResolverParams
addConstraints
[ let pc :: PackageConstraint
pc =
ConstraintScope -> PackageProperty -> PackageConstraint
PackageConstraint (PackageName -> ConstraintScope
scopeToplevel (PackageName -> ConstraintScope) -> PackageName -> ConstraintScope
forall a b. (a -> b) -> a -> b
$ GenericPackageDescription -> PackageName
forall pkg. Package pkg => pkg -> PackageName
packageName GenericPackageDescription
pkg)
(PackageProperty -> PackageConstraint)
-> ([OptionalStanza] -> PackageProperty)
-> [OptionalStanza]
-> PackageConstraint
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [OptionalStanza] -> PackageProperty
PackagePropertyStanzas
([OptionalStanza] -> PackageConstraint)
-> [OptionalStanza] -> PackageConstraint
forall a b. (a -> b) -> a -> b
$ [OptionalStanza
TestStanzas | Bool
testsEnabled]
[OptionalStanza] -> [OptionalStanza] -> [OptionalStanza]
forall a. [a] -> [a] -> [a]
++ [OptionalStanza
BenchStanzas | Bool
benchmarksEnabled]
in PackageConstraint -> ConstraintSource -> LabeledPackageConstraint
LabeledPackageConstraint PackageConstraint
pc ConstraintSource
ConstraintSourceConfigFlagOrTarget
]
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. SolveExecutables -> DepResolverParams -> DepResolverParams
setSolveExecutables (Bool -> SolveExecutables
SolveExecutables Bool
False)
(DepResolverParams -> DepResolverParams)
-> (DepResolverParams -> DepResolverParams)
-> DepResolverParams
-> DepResolverParams
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Verbosity -> DepResolverParams -> DepResolverParams
setSolverVerbosity Verbosity
verbosity
(DepResolverParams -> DepResolverParams)
-> DepResolverParams -> DepResolverParams
forall a b. (a -> b) -> a -> b
$ InstalledPackageIndex
-> SourcePackageDb
-> [PackageSpecifier UnresolvedSourcePackage]
-> DepResolverParams
standardInstallPolicy
InstalledPackageIndex
installedPkgIndex
(PackageIndex UnresolvedSourcePackage
-> Map PackageName VersionRange -> SourcePackageDb
SourcePackageDb PackageIndex UnresolvedSourcePackage
forall a. Monoid a => a
mempty Map PackageName VersionRange
packagePrefs)
[UnresolvedSourcePackage -> PackageSpecifier UnresolvedSourcePackage
forall pkg. pkg -> PackageSpecifier pkg
SpecificSourcePackage UnresolvedSourcePackage
forall {local}. SourcePackage (PackageLocation local)
localPkg]
return (resolveDependencies platform (compilerInfo comp) pkgConfigDb resolverParams)
configurePackage
:: Verbosity
-> Platform
-> CompilerInfo
-> SetupScriptOptions
-> ConfigFlags
-> ReadyPackage
-> [String]
-> IO ()
configurePackage :: Verbosity
-> Platform
-> CompilerInfo
-> SetupScriptOptions
-> ConfigFlags
-> ReadyPackage
-> [String]
-> IO ()
configurePackage
Verbosity
verbosity
Platform
platform
CompilerInfo
comp
SetupScriptOptions
scriptOptions
ConfigFlags
configFlags
(ReadyPackage (ConfiguredPackage InstalledPackageId
ipid UnresolvedSourcePackage
spkg FlagAssignment
flags OptionalStanzaSet
stanzas ComponentDeps [ConfiguredId]
deps))
[String]
extraArgs =
Verbosity
-> SetupScriptOptions
-> Maybe PackageDescription
-> CommandUI ConfigFlags
-> (Version -> ConfigFlags)
-> (Version -> [String])
-> IO ()
forall flags.
Verbosity
-> SetupScriptOptions
-> Maybe PackageDescription
-> CommandUI flags
-> (Version -> flags)
-> (Version -> [String])
-> IO ()
setupWrapper
Verbosity
verbosity
SetupScriptOptions
scriptOptions
(PackageDescription -> Maybe PackageDescription
forall a. a -> Maybe a
Just PackageDescription
pkg)
CommandUI ConfigFlags
configureCommand
Version -> ConfigFlags
configureFlags
([String] -> Version -> [String]
forall a b. a -> b -> a
const [String]
extraArgs)
where
gpkg :: PkgDesc.GenericPackageDescription
gpkg :: GenericPackageDescription
gpkg = UnresolvedSourcePackage -> GenericPackageDescription
forall loc. SourcePackage loc -> GenericPackageDescription
srcpkgDescription UnresolvedSourcePackage
spkg
configureFlags :: Version -> ConfigFlags
configureFlags :: Version -> ConfigFlags
configureFlags =
ConfigFlags -> Version -> ConfigFlags
filterConfigureFlags
ConfigFlags
configFlags
{ configIPID =
if isJust (flagToMaybe (configIPID configFlags))
then
configIPID configFlags
else toFlag (prettyShow ipid)
, configConfigurationsFlags = flags
,
configConstraints =
[ thisPackageVersionConstraint srcid
| ConfiguredId srcid (Just (PkgDesc.CLibName PkgDesc.LMainLibName)) _uid <-
CD.nonSetupDeps deps
]
, configDependencies =
[ GivenComponent (packageName srcid) cname uid
| ConfiguredId srcid (Just (PkgDesc.CLibName cname)) uid <-
CD.nonSetupDeps deps
]
,
configExactConfiguration = toFlag True
, configVerbosity = toFlag verbosity
,
configBenchmarks =
toFlag (BenchStanzas `optStanzaSetMember` stanzas)
`mappend` configBenchmarks configFlags
, configTests =
toFlag (TestStanzas `optStanzaSetMember` stanzas)
`mappend` configTests configFlags
}
pkg :: PkgDesc.PackageDescription
pkg :: PackageDescription
pkg = case FlagAssignment
-> ComponentRequestedSpec
-> (Dependency -> Bool)
-> Platform
-> CompilerInfo
-> [PackageVersionConstraint]
-> GenericPackageDescription
-> Either [Dependency] (PackageDescription, FlagAssignment)
finalizePD
FlagAssignment
flags
(OptionalStanzaSet -> ComponentRequestedSpec
enableStanzas OptionalStanzaSet
stanzas)
(Bool -> Dependency -> Bool
forall a b. a -> b -> a
const Bool
True)
Platform
platform
CompilerInfo
comp
[]
GenericPackageDescription
gpkg of
Left [Dependency]
_ -> String -> PackageDescription
forall a. HasCallStack => String -> a
error String
"finalizePD ReadyPackage failed"
Right (PackageDescription
desc, FlagAssignment
_) -> PackageDescription
desc
readConfigFlagsFrom
:: FilePath
-> IO (ConfigFlags, ConfigExFlags)
readConfigFlagsFrom :: String -> IO (ConfigFlags, ConfigExFlags)
readConfigFlagsFrom String
flags = do
String
-> CommandUI (ConfigFlags, ConfigExFlags)
-> IO (ConfigFlags, ConfigExFlags)
forall flags. String -> CommandUI flags -> IO flags
readCommandFlags String
flags CommandUI (ConfigFlags, ConfigExFlags)
configureExCommand
cabalConfigFlagsFile :: FilePath -> FilePath
cabalConfigFlagsFile :: String -> String
cabalConfigFlagsFile String
dist = String
dist String -> String -> String
</> String
"cabal-config-flags"
readConfigFlags
:: FilePath
-> IO (ConfigFlags, ConfigExFlags)
readConfigFlags :: String -> IO (ConfigFlags, ConfigExFlags)
readConfigFlags String
dist =
String -> IO (ConfigFlags, ConfigExFlags)
readConfigFlagsFrom (String -> String
cabalConfigFlagsFile String
dist)
writeConfigFlagsTo
:: FilePath
-> Verbosity
-> (ConfigFlags, ConfigExFlags)
-> IO ()
writeConfigFlagsTo :: String -> Verbosity -> (ConfigFlags, ConfigExFlags) -> IO ()
writeConfigFlagsTo String
file Verbosity
verb (ConfigFlags, ConfigExFlags)
flags = do
Verbosity
-> String
-> CommandUI (ConfigFlags, ConfigExFlags)
-> (ConfigFlags, ConfigExFlags)
-> IO ()
forall flags.
Verbosity -> String -> CommandUI flags -> flags -> IO ()
writeCommandFlags Verbosity
verb String
file CommandUI (ConfigFlags, ConfigExFlags)
configureExCommand (ConfigFlags, ConfigExFlags)
flags
writeConfigFlags
:: Verbosity
-> FilePath
-> (ConfigFlags, ConfigExFlags)
-> IO ()
writeConfigFlags :: Verbosity -> String -> (ConfigFlags, ConfigExFlags) -> IO ()
writeConfigFlags Verbosity
verb String
dist =
String -> Verbosity -> (ConfigFlags, ConfigExFlags) -> IO ()
writeConfigFlagsTo (String -> String
cabalConfigFlagsFile String
dist) Verbosity
verb