| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Description | |||||||||||||||||||||
This provides an abstraction which deals with configuring and running programs. A Program is a static notion of a known program. A ConfiguredProgram is a Program that has been found on the current machine and is ready to be run (possibly with some user-supplied default args). Configuring a program involves finding its location and if necessary finding its version. There is also a ProgramConfiguration type which holds configured and not-yet configured programs. It is the parameter to lots of actions elsewhere in Cabal that need to look up and run programs. If we had a Cabal monad, the ProgramConfiguration would probably be a reader or state component of it. The module also defines all the known built-in Programs and the defaultProgramConfiguration which contains them all. One nice thing about using it is that any program that is registered with Cabal will get some "configure" and ".cabal" helpers like --with-foo-args --foo-path= and extra-foo-args. There's also good default behavior for trying to find "foo" in PATH, being able to override its location, etc. There's also a hook for adding programs in a Setup.lhs script. See hookedPrograms in Distribution.Simple.UserHooks. This gives a hook user the ability to get the above flags and such so that they don't have to write all the PATH logic inside Setup.lhs. | |||||||||||||||||||||
Synopsis | |||||||||||||||||||||
Program and functions for constructing them | |||||||||||||||||||||
data Program | |||||||||||||||||||||
| |||||||||||||||||||||
simpleProgram :: String -> Program | |||||||||||||||||||||
Make a simple named program. By default we'll just search for it in the path and not try to find the version name. You can override these behaviours if necessary, eg: simpleProgram "foo" { programFindLocation = ... , programFindVersion ... } | |||||||||||||||||||||
findProgramLocation :: Verbosity -> FilePath -> IO (Maybe FilePath) | |||||||||||||||||||||
Look for a program on the path. | |||||||||||||||||||||
findProgramVersion | |||||||||||||||||||||
| |||||||||||||||||||||
Configured program and related functions | |||||||||||||||||||||
data ConfiguredProgram | |||||||||||||||||||||
| |||||||||||||||||||||
programPath :: ConfiguredProgram -> FilePath | |||||||||||||||||||||
The full path of a configured program. | |||||||||||||||||||||
type ProgArg = String | |||||||||||||||||||||
data ProgramLocation | |||||||||||||||||||||
| |||||||||||||||||||||
runProgram | |||||||||||||||||||||
| |||||||||||||||||||||
getProgramOutput | |||||||||||||||||||||
| |||||||||||||||||||||
Program invocations | |||||||||||||||||||||
data ProgramInvocation | |||||||||||||||||||||
| |||||||||||||||||||||
emptyProgramInvocation :: ProgramInvocation | |||||||||||||||||||||
simpleProgramInvocation :: FilePath -> [String] -> ProgramInvocation | |||||||||||||||||||||
programInvocation :: ConfiguredProgram -> [String] -> ProgramInvocation | |||||||||||||||||||||
runProgramInvocation :: Verbosity -> ProgramInvocation -> IO () | |||||||||||||||||||||
getProgramInvocationOutput :: Verbosity -> ProgramInvocation -> IO String | |||||||||||||||||||||
The collection of unconfigured and configured progams | |||||||||||||||||||||
builtinPrograms :: [Program] | |||||||||||||||||||||
The default list of programs. These programs are typically used internally to Cabal. | |||||||||||||||||||||
The collection of configured programs we can run | |||||||||||||||||||||
type ProgramConfiguration = ProgramDb | |||||||||||||||||||||
emptyProgramConfiguration :: ProgramConfiguration | |||||||||||||||||||||
defaultProgramConfiguration :: ProgramConfiguration | |||||||||||||||||||||
restoreProgramConfiguration :: [Program] -> ProgramConfiguration -> ProgramConfiguration | |||||||||||||||||||||
addKnownProgram :: Program -> ProgramDb -> ProgramDb | |||||||||||||||||||||
Add a known program that we may configure later | |||||||||||||||||||||
addKnownPrograms :: [Program] -> ProgramDb -> ProgramDb | |||||||||||||||||||||
lookupKnownProgram :: String -> ProgramDb -> Maybe Program | |||||||||||||||||||||
knownPrograms :: ProgramDb -> [(Program, Maybe ConfiguredProgram)] | |||||||||||||||||||||
userSpecifyPath | |||||||||||||||||||||
| |||||||||||||||||||||
userSpecifyPaths :: [(String, FilePath)] -> ProgramDb -> ProgramDb | |||||||||||||||||||||
Like userSpecifyPath but for a list of progs and their paths. | |||||||||||||||||||||
userMaybeSpecifyPath :: String -> Maybe FilePath -> ProgramDb -> ProgramDb | |||||||||||||||||||||
userSpecifyArgs | |||||||||||||||||||||
| |||||||||||||||||||||
userSpecifyArgss :: [(String, [ProgArg])] -> ProgramDb -> ProgramDb | |||||||||||||||||||||
Like userSpecifyPath but for a list of progs and their args. | |||||||||||||||||||||
userSpecifiedArgs :: Program -> ProgramDb -> [ProgArg] | |||||||||||||||||||||
Get any extra args that have been previously specified for a program. | |||||||||||||||||||||
lookupProgram :: Program -> ProgramDb -> Maybe ConfiguredProgram | |||||||||||||||||||||
Try to find a configured program | |||||||||||||||||||||
updateProgram :: ConfiguredProgram -> ProgramDb -> ProgramDb | |||||||||||||||||||||
Update a configured program in the database. | |||||||||||||||||||||
configureProgram :: Verbosity -> Program -> ProgramDb -> IO ProgramDb | |||||||||||||||||||||
Try to configure a specific program. If the program is already included in the colleciton of unconfigured programs then we use any user-supplied location and arguments. If the program gets configured sucessfully it gets added to the configured collection. Note that it is not a failure if the program cannot be configured. It's only a failure if the user supplied a location and the program could not be found at that location. The reason for it not being a failure at this stage is that we don't know up front all the programs we will need, so we try to configure them all. To verify that a program was actually sucessfully configured use requireProgram. | |||||||||||||||||||||
configureAllKnownPrograms :: Verbosity -> ProgramDb -> IO ProgramDb | |||||||||||||||||||||
Try to configure all the known programs that have not yet been configured. | |||||||||||||||||||||
reconfigurePrograms :: Verbosity -> [(String, FilePath)] -> [(String, [ProgArg])] -> ProgramDb -> IO ProgramDb | |||||||||||||||||||||
reconfigure a bunch of programs given new user-specified args. It takes the same inputs as userSpecifyPath and userSpecifyArgs and for all progs with a new path it calls configureProgram. | |||||||||||||||||||||
requireProgram :: Verbosity -> Program -> ProgramDb -> IO (ConfiguredProgram, ProgramDb) | |||||||||||||||||||||
Check that a program is configured and available to be run. It raises an exception if the program could not be configured, otherwise it returns the configured program. | |||||||||||||||||||||
requireProgramVersion :: Verbosity -> Program -> VersionRange -> ProgramDb -> IO (ConfiguredProgram, Version, ProgramDb) | |||||||||||||||||||||
Check that a program is configured and available to be run. Additionally check that the version of the program number is suitable and return it. For example you could require AnyVersion or orLaterVersion (Version [1,0] []) It raises an exception if the program could not be configured or the version is unsuitable, otherwise it returns the configured program and its version number. | |||||||||||||||||||||
runDbProgram | |||||||||||||||||||||
| |||||||||||||||||||||
getDbProgramOutput | |||||||||||||||||||||
| |||||||||||||||||||||
Programs that Cabal knows about | |||||||||||||||||||||
ghcProgram :: Program | |||||||||||||||||||||
ghcPkgProgram :: Program | |||||||||||||||||||||
lhcProgram :: Program | |||||||||||||||||||||
lhcPkgProgram :: Program | |||||||||||||||||||||
nhcProgram :: Program | |||||||||||||||||||||
hmakeProgram :: Program | |||||||||||||||||||||
jhcProgram :: Program | |||||||||||||||||||||
hugsProgram :: Program | |||||||||||||||||||||
ffihugsProgram :: Program | |||||||||||||||||||||
uhcProgram :: Program | |||||||||||||||||||||
gccProgram :: Program | |||||||||||||||||||||
ranlibProgram :: Program | |||||||||||||||||||||
arProgram :: Program | |||||||||||||||||||||
stripProgram :: Program | |||||||||||||||||||||
happyProgram :: Program | |||||||||||||||||||||
alexProgram :: Program | |||||||||||||||||||||
hsc2hsProgram :: Program | |||||||||||||||||||||
c2hsProgram :: Program | |||||||||||||||||||||
cpphsProgram :: Program | |||||||||||||||||||||
hscolourProgram :: Program | |||||||||||||||||||||
haddockProgram :: Program | |||||||||||||||||||||
greencardProgram :: Program | |||||||||||||||||||||
ldProgram :: Program | |||||||||||||||||||||
tarProgram :: Program | |||||||||||||||||||||
cppProgram :: Program | |||||||||||||||||||||
pkgConfigProgram :: Program | |||||||||||||||||||||
deprecated | |||||||||||||||||||||
rawSystemProgram :: Verbosity -> ConfiguredProgram -> [ProgArg] -> IO () | |||||||||||||||||||||
rawSystemProgramStdout :: Verbosity -> ConfiguredProgram -> [ProgArg] -> IO String | |||||||||||||||||||||
rawSystemProgramConf :: Verbosity -> Program -> ProgramConfiguration -> [ProgArg] -> IO () | |||||||||||||||||||||
rawSystemProgramStdoutConf :: Verbosity -> Program -> ProgramConfiguration -> [ProgArg] -> IO String | |||||||||||||||||||||
findProgramOnPath :: String -> Verbosity -> IO (Maybe FilePath) | |||||||||||||||||||||
Produced by Haddock version 2.6.1 |