hackport-0.3.4: Merge/Dependencies.hs
{- | Merge a package from hackage to an ebuild.
Merging a library
=================
Compile time:
ghc
cabal
build tools
deps (haskell dependencies)
extra-libs (c-libs)
pkg-config (c-libs)
Run time:
ghc
deps (haskell dependencies)
extra-libs (c-libs)
pkg-config (c-libs)
RDEPEND="ghc ${DEPS} ${EXTRALIBS}"
DEPEND="${RDEPEND} cabal ${BUILDTOOLS}"
Merging an executable
=====================
Packages with both executable and library must be treated as libraries, as it will impose a stricter DEPEND.
Compile time:
ghc
cabal
build tools
deps (haskell dependencies)
extra-libs (c-libs)
pkg-config (c-libs)
Run time:
extra-libs (c-libs)
pkg-config (c-libs)
RDEPEND="${EXTRALIBS}"
DEPEND="${RDEPEND} ghc cabal ${DEPS} ${BUILDTOOLS}"
-}
module Merge.Dependencies
( EDep(..)
, resolveDependencies
, intersection
, difference
, null
) where
import Distribution.PackageDescription ( PackageDescription(..)
, libBuildInfo
, buildInfo
, buildable
, extraLibs
, buildTools
, pkgconfigDepends
, specVersion
, TestSuite(..)
, targetBuildDepends
)
import Prelude hiding (null)
import Data.Maybe ( isJust, isNothing )
import Data.Monoid ( Monoid, mempty, mappend)
import Data.List ( nub )
import qualified Data.List as L
import qualified Data.Set as S
import qualified Distribution.Package as Cabal
import qualified Distribution.PackageDescription as Cabal
import qualified Distribution.Version as Cabal
import Distribution.Compiler
import qualified Portage.Dependency as Portage
import qualified Portage.Overlay as Portage
import qualified Portage.PackageId as Portage
import qualified Portage.Use as Portage
import qualified Cabal2Ebuild as C2E
import qualified Portage.GHCCore as GHCCore
import Debug.Trace ( trace )
-- | Dependencies of an ebuild
data EDep = EDep
{
rdep :: [Portage.Dependency],
rdep_e :: [String],
dep :: [Portage.Dependency],
dep_e :: [String]
}
deriving (Show, Eq)
instance Monoid EDep where
mempty = EDep
{
rdep = [],
rdep_e = [],
dep = [],
dep_e = []
}
(EDep rdepA rdep_eA depA dep_eA) `mappend` (EDep rdepB rdep_eB depB dep_eB) = EDep
{ rdep = Portage.simplify_deps $ rdepA ++ rdepB
, rdep_e = S.toList $ (S.fromList rdep_eA) `S.union` (S.fromList rdep_eB)
, dep = Portage.simplify_deps $ depA ++ depB
, dep_e = S.toList $ (S.fromList dep_eA) `S.union` (S.fromList dep_eB)
}
intersection :: EDep -> EDep -> EDep
intersection (EDep a1 a2 a3 a4) (EDep b1 b2 b3 b4) = EDep (L.intersect a1 b1)
(L.intersect a2 b2)
(L.intersect a3 b3)
(L.intersect a4 b4)
difference :: EDep -> EDep -> EDep
difference (EDep a1 a2 a3 a4) (EDep b1 b2 b3 b4) = EDep (f a1 b1)
(f a2 b2)
(f a3 b3)
(f a4 b4)
where f a b = L.filter (`L.notElem` b) a
null :: EDep -> Bool
null e = e == mempty
resolveDependencies :: Portage.Overlay -> PackageDescription -> Maybe CompilerId -> EDep
resolveDependencies overlay pkg mcompiler =
edeps
{
dep = dep2,
rdep = rdep2
-- todo: if rdep includes cabal or ghc, make sure it's the same
-- version as in dep
}
where
dep1 = Portage.simplify_deps ( dep edeps)
dep2 = Portage.simplifyUseDeps dep1 (dep1++rdep2)
rdep1 = Portage.simplify_deps (rdep edeps)
rdep2 = Portage.simplifyUseDeps rdep1 rdep1
compiler = maybe (fst GHCCore.defaultGHC) id mcompiler
-- hasBuildableExes p = any (buildable . buildInfo) . executables $ p
treatAsLibrary = isJust (Cabal.library pkg)
haskell_deps
| treatAsLibrary = map set_build_slot $ map add_profile $ haskellDependencies overlay (buildDepends pkg)
| otherwise = haskellDependencies overlay (buildDepends pkg)
test_deps
| (not . L.null) (testSuites pkg) = testDependencies overlay pkg
| otherwise = [] -- tests not enabled
cabal_dep = cabalDependency overlay pkg compiler
ghc_dep = compilerIdToDependency compiler
extra_libs = findCLibs pkg
pkg_config_libs = pkgConfigDependencies overlay pkg
pkg_config_tools = if L.null pkg_config_libs
then []
else [any_c_p "virtual" "pkgconfig"]
build_tools = buildToolsDependencies pkg ++ pkg_config_tools
edeps
| treatAsLibrary = mempty
{
dep = cabal_dep
: build_tools
++ test_deps,
dep_e = [ "${RDEPEND}" ],
rdep = set_build_slot ghc_dep
: haskell_deps
++ extra_libs
++ pkg_config_libs
}
| otherwise = mempty
{
dep = ghc_dep
: cabal_dep
: build_tools
++ haskell_deps
++ test_deps,
dep_e = [ "${RDEPEND}" ],
rdep = extra_libs ++ pkg_config_libs
}
add_profile = Portage.addDepUseFlag (Portage.mkQUse "profile")
set_build_slot = Portage.setSlotDep Portage.AnyBuildTimeSlot
---------------------------------------------------------------
-- Test-suite dependencies
---------------------------------------------------------------
testDependencies :: Portage.Overlay -> PackageDescription -> [Portage.Dependency]
testDependencies overlay pkg@(PackageDescription { package = Cabal.PackageIdentifier { Cabal.pkgName = Cabal.PackageName name}}) =
[Portage.DependIfUse (Portage.DUse (True, "test")) (Portage.DependAllOf $ Portage.simplify_deps deps)]
where cabalDeps = concat $ map targetBuildDepends $ map testBuildInfo (testSuites pkg)
cabalDeps' = filter (\(Cabal.Dependency (Cabal.PackageName pname) _) -> pname /= name) cabalDeps
deps = C2E.convertDependencies overlay (Portage.Category "dev-haskell") cabalDeps'
---------------------------------------------------------------
-- Haskell packages
---------------------------------------------------------------
haskellDependencies :: Portage.Overlay -> [Cabal.Dependency] {- PackageDescription -} -> [Portage.Dependency]
haskellDependencies overlay deps =
Portage.simplify_deps
$ C2E.convertDependencies overlay (Portage.Category "dev-haskell") deps
---------------------------------------------------------------
-- Cabal Dependency
---------------------------------------------------------------
-- | Select the most restrictive dependency on Cabal, either the .cabal
-- file's descCabalVersion, or the Cabal GHC shipped with.
cabalDependency :: Portage.Overlay -> PackageDescription -> CompilerId -> Portage.Dependency
cabalDependency overlay pkg (CompilerId GHC _ghcVersion@(Cabal.Version versionNumbers _)) =
C2E.convertDependency overlay
(Portage.Category "dev-haskell")
(Cabal.Dependency (Cabal.PackageName "Cabal")
finalCabalDep)
where
userCabalVersion = Cabal.orLaterVersion (specVersion pkg)
shippedCabalVersion = GHCCore.cabalFromGHC versionNumbers
shippedCabalDep = maybe Cabal.anyVersion Cabal.orLaterVersion shippedCabalVersion
finalCabalDep = Cabal.simplifyVersionRange
(Cabal.intersectVersionRanges
userCabalVersion
shippedCabalDep)
---------------------------------------------------------------
-- GHC Dependency
---------------------------------------------------------------
compilerIdToDependency :: CompilerId -> Portage.Dependency
compilerIdToDependency (CompilerId GHC versionNumbers) =
at_least_c_p_v "dev-lang" "ghc" (Cabal.versionBranch versionNumbers)
---------------------------------------------------------------
-- C Libraries
---------------------------------------------------------------
findCLibs :: PackageDescription -> [Portage.Dependency]
findCLibs (PackageDescription { library = lib, executables = exes }) =
[ trace ("WARNING: This package depends on a C library we don't know the portage name for: " ++ p ++ ". Check the generated ebuild.")
(any_c_p "unknown-c-lib" p)
| p <- notFound
] ++
found
where
libE = maybe [] (extraLibs.libBuildInfo) lib
exeE = concatMap extraLibs (filter buildable (map buildInfo exes))
allE = libE ++ exeE
notFound = [ p | p <- allE, isNothing (staticTranslateExtraLib p) ]
found = [ p | Just p <- map staticTranslateExtraLib allE ]
any_c_p_s_u :: String -> String -> Portage.SlotDepend -> [Portage.UseFlag] -> Portage.Dependency
any_c_p_s_u cat pn slot uses = Portage.Atom (Portage.mkPackageName cat pn)
(Portage.DRange Portage.ZeroB Portage.InfinityB)
(Portage.DAttr slot uses)
any_c_p :: String -> String -> Portage.Dependency
any_c_p cat pn = any_c_p_s_u cat pn Portage.AnySlot []
at_least_c_p_v :: String -> String -> [Int] -> Portage.Dependency
at_least_c_p_v cat pn v = Portage.Atom (Portage.mkPackageName cat pn)
(Portage.DRange (Portage.NonstrictLB (Portage.Version v Nothing [] 0)) Portage.InfinityB)
(Portage.DAttr Portage.AnySlot [])
staticTranslateExtraLib :: String -> Maybe Portage.Dependency
staticTranslateExtraLib lib = lookup lib m
where
m = [ ("z", any_c_p "sys-libs" "zlib")
, ("bz2", any_c_p "app-arch" "bzip2")
, ("mysqlclient", at_least_c_p_v "virtual" "mysql" [4,0])
, ("pq", at_least_c_p_v "dev-db" "postgresql-base" [7])
, ("ev", any_c_p "dev-libs" "libev")
, ("expat", any_c_p "dev-libs" "expat")
, ("curl", any_c_p "net-misc" "curl")
, ("xml2", any_c_p "dev-libs" "libxml2")
, ("mecab", any_c_p "app-text" "mecab")
, ("zmq", any_c_p "net-libs" "zeromq")
, ("SDL", any_c_p "media-libs" "libsdl")
, ("adns", any_c_p "net-libs" "adns")
, ("pcre", any_c_p "dev-libs" "libpcre")
, ("GL", any_c_p "virtual" "opengl")
, ("GLU", any_c_p "virtual" "glu")
, ("glut", any_c_p "media-libs" "freeglut")
, ("X11", any_c_p "x11-libs" "libX11")
, ("libzip", any_c_p "dev-libs" "libzip")
, ("ssl", any_c_p "dev-libs" "openssl")
, ("Judy", any_c_p "dev-libs" "judy")
, ("fcgi", any_c_p "dev-libs" "fcgi")
, ("gnutls", any_c_p "net-libs" "gnutls")
, ("idn", any_c_p "net-dns" "libidn")
, ("tre", any_c_p "dev-libs" "tre")
, ("m", any_c_p "virtual" "libc")
, ("asound", any_c_p "media-libs" "alsa-lib")
, ("sqlite3", at_least_c_p_v "dev-db" "sqlite" [3,0])
, ("stdc++", any_c_p_s_u "sys-devel" "gcc" Portage.AnySlot [Portage.mkUse "cxx"])
, ("crack", any_c_p "sys-libs" "cracklib")
, ("exif", any_c_p "media-libs" "libexif")
, ("IL", any_c_p "media-libs" "devil")
, ("Imlib2", any_c_p "media-libs" "imlib2")
, ("pcap", any_c_p "net-libs" "libpcap")
, ("lber", any_c_p "net-nds" "openldap")
, ("ldap", any_c_p "net-nds" "openldap")
, ("expect", any_c_p "dev-tcltk" "expect")
, ("tcl", any_c_p "dev-lang" "tcl")
, ("Xext", any_c_p "x11-libs" "libXext")
, ("Xrandr", any_c_p "x11-libs" "libXrandr")
, ("crypto", any_c_p "dev-libs" "openssl")
, ("gmp", any_c_p "dev-libs" "gmp")
, ("fuse", any_c_p "sys-fs" "fuse")
, ("zip", any_c_p "dev-libs" "libzip")
, ("QtCore", any_c_p "dev-qt" "qtcore")
, ("QtGui", any_c_p "dev-qt" "qtgui")
, ("QtOpenGL", any_c_p "dev-qt" "qtopengl")
, ("gsl", any_c_p "sci-libs" "gsl")
, ("gslcblas", any_c_p "sci-libs" "gsl")
, ("mkl_core", any_c_p "sci-libs" "mkl")
, ("mkl_intel_lp64", any_c_p "sci-libs" "mkl")
, ("mkl_lapack", any_c_p "sci-libs" "mkl")
, ("mkl_sequential", any_c_p "sci-libs" "mkl")
, ("Xi", any_c_p "x11-libs" "libXi")
, ("Xxf86vm", any_c_p "x11-libs" "libXxf86vm")
, ("pthread", any_c_p "virtual" "libc")
]
---------------------------------------------------------------
-- Build Tools
---------------------------------------------------------------
buildToolsDependencies :: PackageDescription -> [Portage.Dependency]
buildToolsDependencies (PackageDescription { library = lib, executables = exes }) = nub $
[ case pkg of
Just p -> p
Nothing -> trace ("WARNING: Unknown build tool '" ++ pn ++ "'. Check the generated ebuild.")
(any_c_p "unknown-build-tool" pn)
| Cabal.Dependency (Cabal.PackageName pn) _range <- cabalDeps
, pkg <- return (lookup pn buildToolsTable)
]
where
cabalDeps = filter notProvided $ depL ++ depE
depL = maybe [] (buildTools.libBuildInfo) lib
depE = concatMap buildTools (filter buildable (map buildInfo exes))
notProvided (Cabal.Dependency (Cabal.PackageName pn) _range) = pn `notElem` buildToolsProvided
buildToolsTable :: [(String, Portage.Dependency)]
buildToolsTable =
[ ("happy", any_c_p "dev-haskell" "happy")
, ("alex", any_c_p "dev-haskell" "alex")
, ("c2hs", any_c_p "dev-haskell" "c2hs")
, ("cabal-install", any_c_p "dev-haskell" "cabal-install")
, ("gtk2hsTypeGen", any_c_p "dev-haskell" "gtk2hs-buildtools")
, ("gtk2hsHookGenerator", any_c_p "dev-haskell" "gtk2hs-buildtools")
, ("gtk2hsC2hs", any_c_p "dev-haskell" "gtk2hs-buildtools")
, ("cabal", any_c_p "dev-haskell" "cabal-install")
, ("llvm-config", any_c_p "sys-devel" "llvm")
]
-- tools that are provided by ghc or some other existing program
-- so we do not need dependencies on them
buildToolsProvided :: [String]
buildToolsProvided = ["hsc2hs"]
---------------------------------------------------------------
-- pkg-config
---------------------------------------------------------------
pkgConfigDependencies :: Portage.Overlay -> PackageDescription -> [Portage.Dependency]
pkgConfigDependencies overlay (PackageDescription { library = lib, executables = exes }) = nub $ resolvePkgConfigs overlay cabalDeps
where
cabalDeps = depL ++ depE
depL = maybe [] (pkgconfigDepends.libBuildInfo) lib
depE = concatMap pkgconfigDepends (filter buildable (map buildInfo exes))
resolvePkgConfigs :: Portage.Overlay -> [Cabal.Dependency] -> [Portage.Dependency]
resolvePkgConfigs overlay cdeps =
[ case resolvePkgConfig overlay pkg of
Just d -> d
Nothing -> trace ("WARNING: Could not resolve pkg-config: " ++ pn ++ ". Check generated ebuild.")
(any_c_p "unknown-pkg-config" pn)
| pkg@(Cabal.Dependency (Cabal.PackageName pn) _range) <- cdeps ]
resolvePkgConfig :: Portage.Overlay -> Cabal.Dependency -> Maybe Portage.Dependency
resolvePkgConfig _overlay (Cabal.Dependency (Cabal.PackageName pn) _cabalVersion) = do
(cat,portname, slot) <- lookup pn pkgconfig_table
return $ any_c_p_s_u cat portname slot []
pkgconfig_table :: [(String, (String, String, Portage.SlotDepend))]
pkgconfig_table =
[
("alsa", ("media-libs", "alsa-lib", Portage.AnySlot))
,("gconf-2.0", ("gnome-base", "gconf", Portage.AnySlot))
,("gio-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gio-unix-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("glib-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gmodule-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gmodule-export-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gmodule-no-export-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gobject-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gthread-2.0", ("dev-libs", "glib", Portage.GivenSlot "2"))
,("gtk+-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("gdk-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("gdk-pixbuf-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("gdk-pixbuf-xlib-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("gdk-x11-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("gtk+-unix-print-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("gtk+-x11-2.0", ("x11-libs", "gtk+", Portage.GivenSlot "2"))
,("cairo", ("x11-libs", "cairo", Portage.AnySlot)) -- need [svg] for dev-haskell/cairo
,("cairo-ft", ("x11-libs", "cairo", Portage.AnySlot))
,("cairo-ps", ("x11-libs", "cairo", Portage.AnySlot))
,("cairo-png", ("x11-libs", "cairo", Portage.AnySlot))
,("cairo-pdf", ("x11-libs", "cairo", Portage.AnySlot))
,("cairo-svg", ("x11-libs", "cairo", Portage.AnySlot))
,("cairo-xlib", ("x11-libs", "cairo", Portage.AnySlot))
,("cairo-xlib-xrender", ("x11-libs", "cairo", Portage.AnySlot))
,("pangocairo", ("x11-libs", "pango", Portage.AnySlot))
,("pangoft2", ("x11-libs", "pango", Portage.AnySlot))
,("pango", ("x11-libs", "pango", Portage.AnySlot))
,("pangoxft", ("x11-libs", "pango", Portage.AnySlot))
,("pangox", ("x11-libs", "pango", Portage.AnySlot))
,("libglade-2.0", ("gnome-base", "libglade", Portage.AnySlot))
,("gnome-vfs-2.0", ("gnome-base", "gnome-vfs", Portage.AnySlot))
,("gnome-vfs-module-2.0", ("gnome-base", "gnome-vfs", Portage.AnySlot))
,("webkit-1.0", ("net-libs","webkit-gtk", Portage.GivenSlot "2"))
,("gstreamer-0.10", ("media-libs", "gstreamer", Portage.AnySlot))
,("gstreamer-base-0.10", ("media-libs", "gstreamer", Portage.AnySlot))
,("gstreamer-check-0.10", ("media-libs", "gstreamer", Portage.AnySlot))
,("gstreamer-controller-0.10", ("media-libs", "gstreamer", Portage.AnySlot))
,("gstreamer-dataprotocol-0.10", ("media-libs", "gstreamer", Portage.AnySlot))
,("gstreamer-net-0.10", ("media-libs", "gstreamer", Portage.AnySlot))
,("gstreamer-app-0.10", ("media-libs", "gst-plugins-base", Portage.AnySlot))
,("gstreamer-audio-0.10", ("media-libs", "gst-plugins-base", Portage.AnySlot))
,("gstreamer-video-0.10", ("media-libs", "gst-plugins-base", Portage.AnySlot))
,("gstreamer-plugins-base-0.10", ("media-libs", "gst-plugins-base", Portage.AnySlot))
,("gtksourceview-2.0", ("x11-libs", "gtksourceview", Portage.GivenSlot "2.0"))
,("librsvg-2.0", ("gnome-base","librsvg", Portage.AnySlot))
,("vte", ("x11-libs","vte", Portage.GivenSlot "0"))
,("gtkglext-1.0", ("x11-libs","gtkglext", Portage.AnySlot))
,("curl", ("net-misc", "curl", Portage.AnySlot))
,("libxml2", ("dev-libs", "libxml2", Portage.AnySlot))
,("libgsasl", ("virtual", "gsasl", Portage.AnySlot))
,("libzip", ("dev-libs", "libzip", Portage.AnySlot))
,("gnutls", ("net-libs", "gnutls", Portage.AnySlot))
,("libidn", ("net-dns", "libidn", Portage.AnySlot))
,("libxml-2.0", ("dev-libs", "libxml2", Portage.AnySlot))
,("yaml-0.1", ("dev-libs", "libyaml", Portage.AnySlot))
,("QtCore", ("dev-qt", "qtcore", Portage.AnySlot))
]