{- | 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 ) where import Distribution.PackageDescription ( PackageDescription(..) , libBuildInfo , buildInfo , buildable , extraLibs , buildTools , pkgconfigDepends , specVersion , TestSuite(..) , targetBuildDepends ) 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 qualified Distribution.Compiler as Cabal import qualified Portage.Cabal as Portage import qualified Portage.Dependency as Portage import qualified Portage.Dependency.Normalize as PN import qualified Portage.Overlay as Portage import qualified Portage.PackageId as Portage import qualified Portage.Use as Portage import qualified Portage.Tables 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 :: S.Set String, dep :: Portage.Dependency, dep_e :: S.Set String } deriving (Show, Eq, Ord) instance Monoid EDep where mempty = EDep { rdep = Portage.empty_dependency, rdep_e = S.empty, dep = Portage.empty_dependency, dep_e = S.empty } (EDep rdepA rdep_eA depA dep_eA) `mappend` (EDep rdepB rdep_eB depB dep_eB) = EDep { rdep = Portage.DependAllOf [rdepA, rdepB] , rdep_e = rdep_eA `S.union` rdep_eB , dep = Portage.DependAllOf [depA, depB] , dep_e = dep_eA `S.union` dep_eB } resolveDependencies :: Portage.Overlay -> PackageDescription -> Cabal.CompilerId -> [Cabal.PackageName] -> Cabal.PackageName -> EDep resolveDependencies overlay pkg compiler ghc_package_names merged_cabal_pkg_name = edeps where -- hasBuildableExes p = any (buildable . buildInfo) . executables $ p treatAsLibrary :: Bool treatAsLibrary = isJust (Cabal.library pkg) -- without slot business raw_haskell_deps :: Portage.Dependency raw_haskell_deps = PN.normalize_depend $ Portage.DependAllOf $ haskellDependencies overlay (buildDepends pkg) test_deps :: Portage.Dependency test_deps = Portage.mkUseDependency (True, Portage.Use "test") $ Portage.DependAllOf $ -- remove depends present in common section filter (\d -> not (Portage.dep_as_broad_as d raw_haskell_deps)) $ map PN.normalize_depend $ testDependencies overlay pkg ghc_package_names merged_cabal_pkg_name cabal_dep :: Portage.Dependency cabal_dep = cabalDependency overlay pkg compiler ghc_dep :: Portage.Dependency ghc_dep = compilerIdToDependency compiler extra_libs :: Portage.Dependency extra_libs = Portage.DependAllOf $ findCLibs pkg pkg_config_libs :: [Portage.Dependency] pkg_config_libs = pkgConfigDependencies overlay pkg pkg_config_tools :: Portage.Dependency pkg_config_tools = Portage.DependAllOf $ if L.null pkg_config_libs then [] else [any_c_p "virtual" "pkgconfig"] build_tools :: Portage.Dependency build_tools = Portage.DependAllOf $ pkg_config_tools : buildToolsDependencies pkg edeps :: EDep edeps | treatAsLibrary = mempty { dep = Portage.DependAllOf [ cabal_dep , build_tools , test_deps ], dep_e = S.singleton "${RDEPEND}", rdep = Portage.DependAllOf [ Portage.set_build_slot ghc_dep , Portage.set_build_slot $ add_profile $ raw_haskell_deps , extra_libs , Portage.DependAllOf pkg_config_libs ] } | otherwise = mempty { dep = Portage.DependAllOf [ cabal_dep , build_tools , test_deps ], dep_e = S.singleton "${RDEPEND}", rdep = Portage.DependAllOf [ Portage.set_build_slot ghc_dep , Portage.set_build_slot $ raw_haskell_deps , extra_libs , Portage.DependAllOf pkg_config_libs ] } add_profile = Portage.addDepUseFlag (Portage.mkQUse (Portage.Use "profile")) --------------------------------------------------------------- -- Test-suite dependencies --------------------------------------------------------------- testDependencies :: Portage.Overlay -> PackageDescription -> [Cabal.PackageName] -> Cabal.PackageName -> [Portage.Dependency] testDependencies overlay pkg ghc_package_names merged_cabal_pkg_name = deps where cabalDeps = concat $ map targetBuildDepends $ map testBuildInfo (testSuites pkg) cabalDeps' = fst $ Portage.partition_depends ghc_package_names merged_cabal_pkg_name cabalDeps deps = C2E.convertDependencies overlay (Portage.Category "dev-haskell") cabalDeps' --------------------------------------------------------------- -- Haskell packages --------------------------------------------------------------- haskellDependencies :: Portage.Overlay -> [Cabal.Dependency] {- PackageDescription -} -> [Portage.Dependency] haskellDependencies overlay 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 -> Cabal.CompilerId -> Portage.Dependency cabalDependency overlay pkg ~(Cabal.CompilerId Cabal.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 :: Cabal.CompilerId -> Portage.Dependency compilerIdToDependency ~(Cabal.CompilerId Cabal.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.DependAtom $ 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.DependAtom $ 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" [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 (Portage.Use "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") , ("QtDeclarative", any_c_p "dev-qt" "qtdeclarative") , ("QtGui", any_c_p "dev-qt" "qtgui") , ("QtOpenGL", any_c_p "dev-qt" "qtopengl") , ("QtScript", any_c_p "dev-qt" "qtscript") , ("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") , ("panelw", any_c_p "sys-libs" "ncurses") , ("ncursesw", any_c_p "sys-libs" "ncurses") , ("ftgl", any_c_p "media-libs" "ftgl") , ("glpk", any_c_p "sci-mathematics" "glpk") , ("sndfile", any_c_p "media-libs" "libsndfile") , ("portaudio", any_c_p "media-libs" "portaudio") , ("icudata", any_c_p "dev-libs" "icu") , ("icui18n", any_c_p "dev-libs" "icu") , ("icuuc", any_c_p "dev-libs" "icu") , ("chipmunk", any_c_p "sci-physics" "chipmunk") , ("alut", any_c_p "media-libs" "freealut") , ("openal", any_c_p "media-libs" "openal") , ("iw", any_c_p "net-wireless" "wireless-tools") , ("attr", any_c_p "sys-apps" "attr") , ("ncurses", any_c_p "sys-libs" "ncurses") , ("panel", any_c_p "sys-libs" "ncurses") , ("nanomsg", any_c_p "dev-libs" "nanomsg") , ("pgf", any_c_p "media-libs" "libpgf") , ("ssh2", any_c_p "net-libs" "libssh2") , ("dl", any_c_p "virtual" "libc") , ("glfw", any_c_p "media-libs" "glfw") , ("nettle", any_c_p "dev-libs" "nettle") , ("Xpm", any_c_p "x11-libs" "libXpm") , ("Xss", any_c_p "x11-libs" "libXScrnSaver") , ("tag_c", any_c_p "media-libs" "taglib") , ("magic", any_c_p "sys-apps" "file") , ("crypt", any_c_p "virtual" "libc") , ("Xrender", any_c_p "x11-libs" "libXrender") , ("Xcursor", any_c_p "x11-libs" "libXcursor") , ("Xinerama", any_c_p "x11-libs" "libXinerama") ] --------------------------------------------------------------- -- 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") , ("cpphs", any_c_p "dev-haskell" "cpphs") , ("ghc", any_c_p "dev-lang" "ghc") ] -- 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")) ,("gtk+-3.0", ("x11-libs", "gtk+", Portage.GivenSlot "3")) ,("webkitgtk-3.0", ("net-libs", "webkit-gtk", Portage.GivenSlot "3")) ,("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)) ,("lua", ("dev-lang", "lua", Portage.AnySlot)) ,("QtDeclarative", ("dev-qt", "qtdeclarative", Portage.AnySlot)) ,("QtGui", ("dev-qt", "qtgui", Portage.AnySlot)) ,("QtOpenGL", ("dev-qt", "qtopengl", Portage.AnySlot)) ,("QtScript", ("dev-qt", "qtscript", Portage.AnySlot)) ,("ImageMagick", ("media-gfx", "imagemagick", Portage.AnySlot)) ,("MagickWand", ("media-gfx", "imagemagick", Portage.AnySlot)) ,("ncurses", ("sys-libs", "ncurses", Portage.AnySlot)) ,("ncursesw", ("sys-libs", "ncurses", Portage.AnySlot)) ,("panel", ("sys-libs", "ncurses", Portage.AnySlot)) ,("panelw", ("sys-libs", "ncurses", Portage.AnySlot)) ,("libssh2", ("net-libs", "libssh2", Portage.AnySlot)) ,("SDL_image", ("media-libs", "sdl-image", Portage.AnySlot)) ,("libzmq", ("net-libs", "zeromq", Portage.AnySlot)) ,("taglib_c", ("media-libs", "taglib", Portage.AnySlot)) ,("libcurl", ("net-misc", "curl", Portage.AnySlot)) ,("libpq", ("dev-db", "postgresql", Portage.AnySlot)) ]