cabal-debian-4.20.1: Create a Debianization for a Cabal package

Safe HaskellNone





You can either run the cabal-debian --debianize, or for more power and flexibility you can put a Debianize.hs script in the package's debian subdirectory. Atoms value and pass it to the debianize function. The callDebianize function retrieves extra arguments from the CABALDEBIAN environment variable and calls debianize with the build directory set as it would be when the packages is built by dpkg-buildpackage.

To see what your debianization would produce, or how it differs from the debianization already present:

% cabal-debian --debianize -n

This is equivalent to the library call

% ghc -e 'Debian.Debianize.callDebianize ["-n"]'

To actually create the debianization and then build the debs,

% ghc -e 'Debian.Debianize.callDebianize []'
% sudo dpkg-buildpackage

At this point you may need to modify Cabal.defaultFlags to achieve specific packaging goals. Create a module for this in debian/Debianize.hs:

import Data.Lens.Lazy
import Data.Map as Map (insertWith)
import Data.Set as Set (union, singleton)
import Debian.Relation (BinPkgName(BinPkgName), Relation(Rel))
import Debian.Debianize (defaultAtoms, depends, debianization, writeDebianization)
main = debianization "." defaultAtoms >>=
       return . modL depends (insertWith union (BinPkgName "cabal-debian") (singleton (Rel (BinPkgName "debian-policy") Nothing Nothing))) >>=
       writeDebianization "."

Then to test it,

% CABALDEBIAN='["-n"]' runhaskell debian/Debianize.hs

or equivalently

% ghc -e 'Debian.Debianize.runDebianize ["-n"]'

and to run it for real:

% runhaskell debian/Debianize.hs

The three phases of the operation of the system are Input -> Finalization -> Output.

Module Debian.Debianize.Input - gather inputs using IO operations and customization functions, from the .cabal file, an existing debianization, and so on. This information results in a value of type Atoms. Modules Types, Lenses, Inputs.
Make modifications to the input values
Module Debian.Debianize.Finalize - Fill in any information missing from Atoms that is required to build the debianization based on the inputs and our policy decisions.
Module Debian.Debianize.Files - Compute the paths and files of the debianization from the Atoms value.
Module Debian.Debianize.Output - Perform a variety of output operations on the debianzation - writing or updating the files in a debian directory, comparing two debianizations, validate a debianization (ensure two debianizations match in source and binary package names), or describe a debianization.

There is also a high level function to run a script that runs this entire pipeline when it finds from a script found in a debian/Debianize.hs file.



debianize :: (MonadIO m, Functor m) => DebT m () -> DebT m () Source

Given an Atoms value, get any additional configuration information from the environment, read the cabal package description and possibly the debian/changelog file, then generate and return the new debianization (along with the data directory computed from the cabal package description.)

finalizeDebianization :: (MonadIO m, Functor m) => DebT m () Source

Do some light IO and call finalizeDebianization.

doDebianizeAction :: (MonadIO m, Functor m) => EnvSet -> DebT m () Source

Depending on the options in atoms, either validate, describe, or write the generated debianization.

runDebianizeScript :: [String] -> IO Bool Source

Run the script in debian/Debianize.hs with the given command line arguments. Returns True if the script exists and succeeds. In this case it may be assumed that a debianization was created (or updated) in the debian subdirectory of the current directory. In this way we can include a script in a package to produce a customized debianization more sophisticated than the one that would be produced by the cabal-debian executable. An example is included in the debian subdirectory of this library.

writeDebianization :: (MonadIO m, Functor m) => DebT m () Source

Write the files of the debianization d to ./debian

describeDebianization :: (MonadIO m, Functor m) => DebT m String Source

Return a string describing the debianization - a list of file names and their contents in a somewhat human readable format.

compareDebianization :: Atoms -> Atoms -> IO String Source

Compare the old and new debianizations, returning a string describing the differences.

validateDebianization :: Atoms -> Atoms -> () Source

Make sure the new debianization matches the existing debianization in several ways - specifically, version number, and the names of the source and binary packages. Some debian packages come with a skeleton debianization that needs to be filled in, this can be used to make sure the debianization we produce is usable.

debianDefaultAtoms :: Monad m => DebT m () Source

Update the Atoms value in the DebT state with some details about the debian repository - special cases for how some cabal packages are mapped to debian package names.

tightDependencyFixup :: Monad m => [(BinPkgName, BinPkgName)] -> BinPkgName -> DebT m () Source

Create equals dependencies. For each pair (A, B), use dpkg-query to find out B's version number, version B. Then write a rule into P's .substvar that makes P require that that exact version of A, and another that makes P conflict with any older version of A.

doExecutable :: Monad m => BinPkgName -> InstallFile -> DebT m () Source

Add a debian binary package to the debianization containing a cabal executable file.

doServer :: Monad m => BinPkgName -> Server -> DebT m () Source

Add a debian binary package to the debianization containing a cabal executable file set up to be a server.

doWebsite :: Monad m => BinPkgName -> Site -> DebT m () Source

Add a debian binary package to the debianization containing a cabal executable file set up to be a web site.

doBackups :: Monad m => BinPkgName -> String -> DebT m () Source

Add a debian binary package to the debianization containing a cabal executable file set up to be a backup script.

inputDebianizationFile :: MonadIO m => FilePath -> DebT m () Source

Try to input a file and if successful add it to the debianization.

Deb monad - Monad

type DebT m = StateT Atoms m Source

runDebT :: Monad m => DebT m a -> Atoms -> m (a, Atoms) Source

execDebT :: Monad m => DebT m a -> Atoms -> m Atoms Source

evalDebT :: Monad m => DebT m a -> Atoms -> m a Source

runDebM :: DebM a -> Atoms -> (a, Atoms) Source

evalDebM :: DebM a -> Atoms -> a Source

mapCabal :: Monad m => PackageName -> DebBase -> DebT m () Source

Map all versions of Cabal package pname to Debian package dname. Not really a debian package name, but the name of a cabal package that maps to the debian package name we want. (Should this be a SrcPkgName?)

splitCabal :: Monad m => PackageName -> DebBase -> Version -> DebT m () Source

Map versions less than ver of Cabal Package pname to Debian package ltname

compileArgs :: MonadIO m => [String] -> DebT m () Source

Apply a list of command line arguments to the monadic state.

substvars Source


:: (MonadIO m, Functor m) 
=> DebType

The type of deb we want to write substvars for - Dev, Prof, or Doc

-> DebT m () 

Expand the contents of the .substvars file for a library package. Each cabal package corresponds to a directory name-version, either in usrlib or in usrlibhaskell-packagesghc/lib. In that directory is a compiler subdirectory such as ghc-6.8.2. In the ghc subdirectory is one or two library files of the form libHSname-version.a and libHSname-version_p.a. We can determine the debian package names by running dpkg -S on these names, or examining the varlibdpkginfo/*.list files. From these we can determine the source package name, and from that the documentation package name.

Utility functions

withCurrentDirectory :: FilePath -> IO a -> IO a Source

From Darcs.Utils - set the working directory and run an IO operation.

buildDebVersionMap :: IO DebMap Source

Read and parse the status file for installed debian packages: varlibdpkgstatus

dpkgFileMap :: IO (Map FilePath (Set BinPkgName)) Source

Create a map from pathname to the names of the packages that contains that pathname using the contents of the debian package info directory varlibdpkginfo.

debOfFile :: FilePath -> ReaderT (Map FilePath (Set BinPkgName)) IO (Maybe BinPkgName) Source

Given a path, return the name of the package that owns it.

(~=) :: Monad m => Lens a b -> b -> StateT a m () Source

Set a lens value. (This is a version of Data.Lens.Lazy.~= that returns () instead of b.)

(~?=) :: Monad m => Lens a (Maybe b) -> Maybe b -> StateT a m () Source

Set b if it currently isNothing and the argument isJust, that is 1. Nothing happens if the argument isNothing 2. Nothing happens if the current value isJust

(%=) :: Monad m => Lens a b -> (b -> b) -> StateT a m () Source

Modify a value. (This is a version of Data.Lens.Lazy.%= that returns () instead of a.)

(+=) :: (Monad m, Ord b) => Lens a (Set b) -> b -> StateT a m () Source

Insert an element into a (Set b)

(++=) :: (Monad m, Ord b) => Lens a (Map b c) -> (b, c) -> StateT a m () Source

Insert an element into a (Map b c)

(+++=) :: (Monad m, Ord b, Monoid c) => Lens a (Map b c) -> (b, c) -> StateT a m () Source

Insert an element into a (Map b (Set c))