module Distribution.ArchLinux.HackageTranslation where
import Distribution.ArchLinux.CabalTranslation
import Distribution.ArchLinux.SystemProvides
import Distribution.Package
import Distribution.Version
import Distribution.PackageDescription
import Distribution.PackageDescription.Parse
import Distribution.Text
import qualified Data.Map as M
import qualified Data.Set as Set
import Data.Maybe
import qualified Codec.Archive.Tar as Tar
import qualified Data.ByteString.Lazy.Char8 as Bytes
getCabalsFromTarball :: Bytes.ByteString -> [GenericPackageDescription]
getCabalsFromTarball tarball = Tar.foldEntries insertThis [] (const []) files
where files = Tar.read tarball
insertThis file list = case getCabalFromEntry file of
Nothing -> list
Just pkg -> pkg:list
getCabalFromEntry :: Tar.Entry -> Maybe GenericPackageDescription
getCabalFromEntry file = case Tar.entryContent file of
Tar.NormalFile contents _ -> parse2maybe $ parsePackageDescription $ Bytes.unpack contents
_ -> Nothing
parse2maybe :: ParseResult a -> Maybe a
parse2maybe a = case a of
ParseOk _ pkg -> Just pkg
_ -> Nothing
getSpecifiedCabalsFromTarball :: Bytes.ByteString -> [String] -> [GenericPackageDescription]
getSpecifiedCabalsFromTarball tarball list =
getSpecifiedCabals (mapMaybe parsePackageIdentifier list) (getCabalsFromTarball tarball)
parsePackageIdentifier :: String -> Maybe PackageIdentifier
parsePackageIdentifier s = case words s of
[] -> void
"#":_ -> void
name:version:_ -> case simpleParse version of
Nothing -> err
Just v -> Just $ PackageIdentifier { pkgName = PackageName name, pkgVersion = v }
_ -> err
where
void = Nothing
err = error ("Malformed package identifier " ++ show s)
getSpecifiedCabals :: [PackageIdentifier] -> [GenericPackageDescription] -> [GenericPackageDescription]
getSpecifiedCabals list packages = filter wasSpecified packages
where set = Set.fromList list
wasSpecified p = Set.member (packageId p) set
getVersionConflicts :: [GenericPackageDescription] -> SystemProvides -> [(PackageDescription, Dependency)]
getVersionConflicts packages sysProvides = concat $ map conflicts cabals
where cabals = mapMaybe (\p -> preprocessCabal p sysProvides) packages
versions = M.fromList $ map (\p -> (pkgName $ packageId p, pkgVersion $ packageId p)) cabals
issatisfied (Dependency pkg range) = case M.lookup pkg versions of
Nothing -> True
Just v -> v `withinRange` range
conflicts p = map (\d -> (p,d)) $ filter (not . issatisfied) (buildDepends p)
getLatestVersions :: [GenericPackageDescription] -> M.Map PackageName Version
getLatestVersions packages = M.fromListWith max versions
where versions = map (\p -> (pkgName $ packageId p, pkgVersion $ packageId p)) packages