Copyright	Isaac Jones 2003-2004
License	BSD3
Maintainer	cabal-devel@haskell.org
Portability	portable
Safe Haskell	None
Language	Haskell2010

Distribution.Simple.InstallDirs

Description

This manages everything to do with where files get installed (though does not get involved with actually doing any installation). It provides an InstallDirs type which is a set of directories for where to install things. It also handles the fact that we use templates in these install dirs. For example most install dirs are relative to some $prefix and by changing the prefix all other dirs still end up changed appropriately. So it provides a PathTemplate type and functions for substituting for these templates.

Synopsis

data InstallDirs dir = InstallDirs {
- prefix :: dir
- bindir :: dir
- libdir :: dir
- libsubdir :: dir
- dynlibdir :: dir
- flibdir :: dir
- libexecdir :: dir
- libexecsubdir :: dir
- includedir :: dir
- datadir :: dir
- datasubdir :: dir
- docdir :: dir
- mandir :: dir
- htmldir :: dir
- haddockdir :: dir
- sysconfdir :: dir
}
type InstallDirTemplates = InstallDirs PathTemplate
defaultInstallDirs :: CompilerFlavor -> Bool -> Bool -> IO InstallDirTemplates
defaultInstallDirs' :: Bool -> CompilerFlavor -> Bool -> Bool -> IO InstallDirTemplates
combineInstallDirs :: (a -> b -> c) -> InstallDirs a -> InstallDirs b -> InstallDirs c
absoluteInstallDirs :: PackageIdentifier -> UnitId -> CompilerInfo -> CopyDest -> Platform -> InstallDirs PathTemplate -> InstallDirs FilePath
data CopyDest
- = NoCopyDest
- | CopyTo FilePath
- | CopyToDb FilePath
prefixRelativeInstallDirs :: PackageIdentifier -> UnitId -> CompilerInfo -> Platform -> InstallDirTemplates -> InstallDirs (Maybe FilePath)
substituteInstallDirTemplates :: PathTemplateEnv -> InstallDirTemplates -> InstallDirTemplates
data PathTemplate
data PathTemplateVariable
- = PrefixVar
- | BindirVar
- | LibdirVar
- | LibsubdirVar
- | DynlibdirVar
- | DatadirVar
- | DatasubdirVar
- | DocdirVar
- | HtmldirVar
- | PkgNameVar
- | PkgVerVar
- | PkgIdVar
- | LibNameVar
- | CompilerVar
- | OSVar
- | ArchVar
- | AbiVar
- | AbiTagVar
- | ExecutableNameVar
- | TestSuiteNameVar
- | TestSuiteResultVar
- | BenchmarkNameVar
type PathTemplateEnv = [(PathTemplateVariable, PathTemplate)]
toPathTemplate :: FilePath -> PathTemplate
fromPathTemplate :: PathTemplate -> FilePath
combinePathTemplate :: PathTemplate -> PathTemplate -> PathTemplate
substPathTemplate :: PathTemplateEnv -> PathTemplate -> PathTemplate
initialPathTemplateEnv :: PackageIdentifier -> UnitId -> CompilerInfo -> Platform -> PathTemplateEnv
platformTemplateEnv :: Platform -> PathTemplateEnv
compilerTemplateEnv :: CompilerInfo -> PathTemplateEnv
packageTemplateEnv :: PackageIdentifier -> UnitId -> PathTemplateEnv
abiTemplateEnv :: CompilerInfo -> Platform -> PathTemplateEnv
installDirsTemplateEnv :: InstallDirs PathTemplate -> PathTemplateEnv

Documentation

data InstallDirs dir Source #

The directories where we will install files for packages.

We have several different directories for different types of files since many systems have conventions whereby different types of files in a package are installed in different directories. This is particularly the case on Unix style systems.

Constructors

InstallDirs
Fields prefix :: dir bindir :: dir libdir :: dir libsubdir :: dir dynlibdir :: dir flibdir :: dir foreign libraries libexecdir :: dir libexecsubdir :: dir includedir :: dir datadir :: dir datasubdir :: dir docdir :: dir mandir :: dir htmldir :: dir haddockdir :: dir sysconfdir :: dir

Instances

Functor InstallDirs Source #
Instance details Methods fmap :: (a -> b) -> InstallDirs a -> InstallDirs b # (<$) :: a -> InstallDirs b -> InstallDirs a #
Eq dir => Eq (InstallDirs dir) Source #
Instance details Methods (==) :: InstallDirs dir -> InstallDirs dir -> Bool # (/=) :: InstallDirs dir -> InstallDirs dir -> Bool #
Read dir => Read (InstallDirs dir) Source #
Instance details Methods readsPrec :: Int -> ReadS (InstallDirs dir) # readList :: ReadS [InstallDirs dir] # readPrec :: ReadPrec (InstallDirs dir) # readListPrec :: ReadPrec [InstallDirs dir] #
Show dir => Show (InstallDirs dir) Source #
Instance details Methods showsPrec :: Int -> InstallDirs dir -> ShowS # show :: InstallDirs dir -> String # showList :: [InstallDirs dir] -> ShowS #
Generic (InstallDirs dir) Source #
Instance details Associated Types type Rep (InstallDirs dir) :: * -> * # Methods from :: InstallDirs dir -> Rep (InstallDirs dir) x # to :: Rep (InstallDirs dir) x -> InstallDirs dir #
Semigroup dir => Semigroup (InstallDirs dir) Source #
Instance details Methods (<>) :: InstallDirs dir -> InstallDirs dir -> InstallDirs dir # sconcat :: NonEmpty (InstallDirs dir) -> InstallDirs dir # stimes :: Integral b => b -> InstallDirs dir -> InstallDirs dir #
(Semigroup dir, Monoid dir) => Monoid (InstallDirs dir) Source #
Instance details Methods mempty :: InstallDirs dir # mappend :: InstallDirs dir -> InstallDirs dir -> InstallDirs dir # mconcat :: [InstallDirs dir] -> InstallDirs dir #
Binary dir => Binary (InstallDirs dir) Source #
Instance details Methods put :: InstallDirs dir -> Put # get :: Get (InstallDirs dir) # putList :: [InstallDirs dir] -> Put #
type Rep (InstallDirs dir) Source #
Instance details type Rep (InstallDirs dir) = D1 (MetaData "InstallDirs" "Distribution.Simple.InstallDirs" "Cabal-2.2.0.0-inplace" False) (C1 (MetaCons "InstallDirs" PrefixI True) ((((S1 (MetaSel (Just "prefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "bindir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir)) :: (S1 (MetaSel (Just "libdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "libsubdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir))) :: ((S1 (MetaSel (Just "dynlibdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "flibdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir)) :: (S1 (MetaSel (Just "libexecdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "libexecsubdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir)))) :: (((S1 (MetaSel (Just "includedir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "datadir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir)) :: (S1 (MetaSel (Just "datasubdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "docdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir))) :: ((S1 (MetaSel (Just "mandir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :: S1 (MetaSel (Just "htmldir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir)) :: (S1 (MetaSel (Just "haddockdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir) :*: S1 (MetaSel (Just "sysconfdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 dir))))))

type InstallDirTemplates = InstallDirs PathTemplate Source #

The installation directories in terms of PathTemplates that contain variables.

The defaults for most of the directories are relative to each other, in particular they are all relative to a single prefix. This makes it convenient for the user to override the default installation directory by only having to specify --prefix=... rather than overriding each individually. This is done by allowing $-style variables in the dirs. These are expanded by textual substitution (see substPathTemplate).

A few of these installation directories are split into two components, the dir and subdir. The full installation path is formed by combining the two together with /. The reason for this is compatibility with other Unix build systems which also support --libdir and --datadir. We would like users to be able to configure --libdir=/usr/lib64 for example but because by default we want to support installing multiple versions of packages and building the same package for multiple compilers we append the libsubdir to get: /usr/lib64/$libname/$compiler.

An additional complication is the need to support relocatable packages on systems which support such things, like Windows.

defaultInstallDirs :: CompilerFlavor -> Bool -> Bool -> IO InstallDirTemplates Source #

defaultInstallDirs' :: Bool -> CompilerFlavor -> Bool -> Bool -> IO InstallDirTemplates Source #

combineInstallDirs :: (a -> b -> c) -> InstallDirs a -> InstallDirs b -> InstallDirs c Source #

absoluteInstallDirs :: PackageIdentifier -> UnitId -> CompilerInfo -> CopyDest -> Platform -> InstallDirs PathTemplate -> InstallDirs FilePath Source #

Convert from abstract install directories to actual absolute ones by substituting for all the variables in the abstract paths, to get real absolute path.

data CopyDest Source #

The location prefix for the copy command.

Constructors

NoCopyDest
CopyTo FilePath
CopyToDb FilePath	when using the ${pkgroot} as prefix. The CopyToDb will adjust the paths to be relative to the provided package database when copying / installing.

Instances

Eq CopyDest Source #
Instance details Methods (==) :: CopyDest -> CopyDest -> Bool # (/=) :: CopyDest -> CopyDest -> Bool #
Show CopyDest Source #
Instance details Methods showsPrec :: Int -> CopyDest -> ShowS # show :: CopyDest -> String # showList :: [CopyDest] -> ShowS #
Generic CopyDest Source #
Instance details Associated Types type Rep CopyDest :: * -> * # Methods from :: CopyDest -> Rep CopyDest x # to :: Rep CopyDest x -> CopyDest #
Binary CopyDest Source #
Instance details Methods put :: CopyDest -> Put # get :: Get CopyDest # putList :: [CopyDest] -> Put #
type Rep CopyDest Source #
Instance details type Rep CopyDest = D1 (MetaData "CopyDest" "Distribution.Simple.InstallDirs" "Cabal-2.2.0.0-inplace" False) (C1 (MetaCons "NoCopyDest" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "CopyTo" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) :+: C1 (MetaCons "CopyToDb" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath))))

prefixRelativeInstallDirs :: PackageIdentifier -> UnitId -> CompilerInfo -> Platform -> InstallDirTemplates -> InstallDirs (Maybe FilePath) Source #

Check which of the paths are relative to the installation $prefix.

If any of the paths are not relative, ie they are absolute paths, then it prevents us from making a relocatable package (also known as a "prefix independent" package).

substituteInstallDirTemplates :: PathTemplateEnv -> InstallDirTemplates -> InstallDirTemplates Source #

Substitute the install dir templates into each other.

To prevent cyclic substitutions, only some variables are allowed in particular dir templates. If out of scope vars are present, they are not substituted for. Checking for any remaining unsubstituted vars can be done as a subsequent operation.

The reason it is done this way is so that in prefixRelativeInstallDirs we can replace prefix with the PrefixVar and get resulting PathTemplates that still have the PrefixVar in them. Doing this makes it each to check which paths are relative to the $prefix.

data PathTemplate Source #

An abstract path, possibly containing variables that need to be substituted for to get a real FilePath.

Instances

Eq PathTemplate Source #
Instance details Methods (==) :: PathTemplate -> PathTemplate -> Bool # (/=) :: PathTemplate -> PathTemplate -> Bool #
Ord PathTemplate Source #
Instance details Methods compare :: PathTemplate -> PathTemplate -> Ordering # (<) :: PathTemplate -> PathTemplate -> Bool # (<=) :: PathTemplate -> PathTemplate -> Bool # (>) :: PathTemplate -> PathTemplate -> Bool # (>=) :: PathTemplate -> PathTemplate -> Bool # max :: PathTemplate -> PathTemplate -> PathTemplate # min :: PathTemplate -> PathTemplate -> PathTemplate #
Read PathTemplate Source #
Instance details Methods readsPrec :: Int -> ReadS PathTemplate # readList :: ReadS [PathTemplate] # readPrec :: ReadPrec PathTemplate # readListPrec :: ReadPrec [PathTemplate] #
Show PathTemplate Source #
Instance details Methods showsPrec :: Int -> PathTemplate -> ShowS # show :: PathTemplate -> String # showList :: [PathTemplate] -> ShowS #
Generic PathTemplate Source #
Instance details Associated Types type Rep PathTemplate :: * -> * # Methods from :: PathTemplate -> Rep PathTemplate x # to :: Rep PathTemplate x -> PathTemplate #
Binary PathTemplate Source #
Instance details Methods put :: PathTemplate -> Put # get :: Get PathTemplate # putList :: [PathTemplate] -> Put #
type Rep PathTemplate Source #
Instance details type Rep PathTemplate

data PathTemplateVariable Source #

Constructors

PrefixVar	The `$prefix` path variable
BindirVar	The `$bindir` path variable
LibdirVar	The `$libdir` path variable
LibsubdirVar	The `$libsubdir` path variable
DynlibdirVar	The `$dynlibdir` path variable
DatadirVar	The `$datadir` path variable
DatasubdirVar	The `$datasubdir` path variable
DocdirVar	The `$docdir` path variable
HtmldirVar	The `$htmldir` path variable
PkgNameVar	The `$pkg` package name path variable
PkgVerVar	The `$version` package version path variable
PkgIdVar	The `$pkgid` package Id path variable, eg `foo-1.0`
LibNameVar	The `$libname` path variable
CompilerVar	The compiler name and version, eg `ghc-6.6.1`
OSVar	The operating system name, eg `windows` or `linux`
ArchVar	The CPU architecture name, eg `i386` or `x86_64`
AbiVar	The Compiler's ABI identifier, $arch-$os-$compiler-$abitag
AbiTagVar	The optional ABI tag for the compiler
ExecutableNameVar	The executable name; used in shell wrappers
TestSuiteNameVar	The name of the test suite being run
TestSuiteResultVar	The result of the test suite being run, eg `pass`, `fail`, or `error`.
BenchmarkNameVar	The name of the benchmark being run

Instances

Eq PathTemplateVariable Source #
Instance details Methods (==) :: PathTemplateVariable -> PathTemplateVariable -> Bool # (/=) :: PathTemplateVariable -> PathTemplateVariable -> Bool #
Ord PathTemplateVariable Source #
Instance details Methods compare :: PathTemplateVariable -> PathTemplateVariable -> Ordering # (<) :: PathTemplateVariable -> PathTemplateVariable -> Bool # (<=) :: PathTemplateVariable -> PathTemplateVariable -> Bool # (>) :: PathTemplateVariable -> PathTemplateVariable -> Bool # (>=) :: PathTemplateVariable -> PathTemplateVariable -> Bool # max :: PathTemplateVariable -> PathTemplateVariable -> PathTemplateVariable # min :: PathTemplateVariable -> PathTemplateVariable -> PathTemplateVariable #
Read PathTemplateVariable Source #
Instance details Methods readsPrec :: Int -> ReadS PathTemplateVariable # readList :: ReadS [PathTemplateVariable] # readPrec :: ReadPrec PathTemplateVariable # readListPrec :: ReadPrec [PathTemplateVariable] #
Show PathTemplateVariable Source #
Instance details Methods showsPrec :: Int -> PathTemplateVariable -> ShowS # show :: PathTemplateVariable -> String # showList :: [PathTemplateVariable] -> ShowS #
Generic PathTemplateVariable Source #
Instance details Associated Types type Rep PathTemplateVariable :: * -> * # Methods from :: PathTemplateVariable -> Rep PathTemplateVariable x # to :: Rep PathTemplateVariable x -> PathTemplateVariable #
Binary PathTemplateVariable Source #
Instance details Methods put :: PathTemplateVariable -> Put # get :: Get PathTemplateVariable # putList :: [PathTemplateVariable] -> Put #
type Rep PathTemplateVariable Source #
Instance details type Rep PathTemplateVariable = D1 (MetaData "PathTemplateVariable" "Distribution.Simple.InstallDirs" "Cabal-2.2.0.0-inplace" False) ((((C1 (MetaCons "PrefixVar" PrefixI False) (U1 :: * -> ) :+: C1 (MetaCons "BindirVar" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "LibdirVar" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "LibsubdirVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "DynlibdirVar" PrefixI False) (U1 :: -> )))) :+: ((C1 (MetaCons "DatadirVar" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "DatasubdirVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "DocdirVar" PrefixI False) (U1 :: -> ))) :+: (C1 (MetaCons "HtmldirVar" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "PkgNameVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "PkgVerVar" PrefixI False) (U1 :: -> ))))) :+: (((C1 (MetaCons "PkgIdVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "LibNameVar" PrefixI False) (U1 :: -> )) :+: (C1 (MetaCons "CompilerVar" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "OSVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "ArchVar" PrefixI False) (U1 :: -> )))) :+: ((C1 (MetaCons "AbiVar" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "AbiTagVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "ExecutableNameVar" PrefixI False) (U1 :: -> ))) :+: (C1 (MetaCons "TestSuiteNameVar" PrefixI False) (U1 :: -> ) :+: (C1 (MetaCons "TestSuiteResultVar" PrefixI False) (U1 :: -> ) :+: C1 (MetaCons "BenchmarkNameVar" PrefixI False) (U1 :: -> *))))))

type PathTemplateEnv = [(PathTemplateVariable, PathTemplate)] Source #

toPathTemplate :: FilePath -> PathTemplate Source #

Convert a FilePath to a PathTemplate including any template vars.

fromPathTemplate :: PathTemplate -> FilePath Source #

Convert back to a path, any remaining vars are included

combinePathTemplate :: PathTemplate -> PathTemplate -> PathTemplate Source #

substPathTemplate :: PathTemplateEnv -> PathTemplate -> PathTemplate Source #

initialPathTemplateEnv :: PackageIdentifier -> UnitId -> CompilerInfo -> Platform -> PathTemplateEnv Source #

The initial environment has all the static stuff but no paths

platformTemplateEnv :: Platform -> PathTemplateEnv Source #

compilerTemplateEnv :: CompilerInfo -> PathTemplateEnv Source #

packageTemplateEnv :: PackageIdentifier -> UnitId -> PathTemplateEnv Source #

abiTemplateEnv :: CompilerInfo -> Platform -> PathTemplateEnv Source #

installDirsTemplateEnv :: InstallDirs PathTemplate -> PathTemplateEnv Source #