147 lines
5.1 KiB
Haskell
147 lines
5.1 KiB
Haskell
{-# LANGUAGE BangPatterns, ScopedTypeVariables, TupleSections #-}
|
|
module Language.Haskell.GhcMod.GhcPkg (
|
|
ghcPkgList
|
|
, ghcPkgListEx
|
|
, ghcPkgDbOpt
|
|
, ghcPkgDbStackOpts
|
|
, ghcDbStackOpts
|
|
, ghcDbOpt
|
|
, getSandboxDb
|
|
, getPackageDbStack
|
|
) where
|
|
|
|
import Config (cProjectVersionInt) -- ghc version
|
|
import Control.Applicative ((<$>))
|
|
import Control.Exception (SomeException(..))
|
|
import qualified Control.Exception as E
|
|
import Data.Char (isSpace,isAlphaNum)
|
|
import Data.List (isPrefixOf, intercalate)
|
|
import Data.Maybe (listToMaybe, maybeToList)
|
|
import Language.Haskell.GhcMod.Types
|
|
import Language.Haskell.GhcMod.Utils
|
|
import System.FilePath ((</>))
|
|
import System.Process (readProcess)
|
|
import Text.ParserCombinators.ReadP
|
|
|
|
ghcVersion :: Int
|
|
ghcVersion = read cProjectVersionInt
|
|
|
|
-- | Get path to sandbox package db
|
|
getSandboxDb :: FilePath -- ^ Path to the cabal package root directory
|
|
-- (containing the @cabal.sandbox.config@ file)
|
|
-> IO FilePath
|
|
getSandboxDb cdir = getSandboxDbDir (cdir </> "cabal.sandbox.config")
|
|
|
|
-- | Extract the sandbox package db directory from the cabal.sandbox.config file.
|
|
-- Exception is thrown if the sandbox config file is broken.
|
|
getSandboxDbDir :: FilePath -- ^ Path to the @cabal.sandbox.config@ file
|
|
-> IO FilePath
|
|
getSandboxDbDir sconf = do
|
|
-- Be strict to ensure that an error can be caught.
|
|
!path <- extractValue . parse <$> readFile sconf
|
|
return path
|
|
where
|
|
key = "package-db:"
|
|
keyLen = length key
|
|
|
|
parse = head . filter (key `isPrefixOf`) . lines
|
|
extractValue = dropWhileEnd isSpace . dropWhile isSpace . drop keyLen
|
|
-- dropWhileEnd is not provided prior to base 4.5.0.0.
|
|
dropWhileEnd :: (a -> Bool) -> [a] -> [a]
|
|
dropWhileEnd p = foldr (\x xs -> if p x && null xs then [] else x : xs) []
|
|
|
|
getPackageDbStack :: FilePath -- ^ Project Directory (where the
|
|
-- cabal.sandbox.config file would be if it
|
|
-- exists)
|
|
-> IO [GhcPkgDb]
|
|
getPackageDbStack cdir =
|
|
(getSandboxDb cdir >>= \db -> return [GlobalDb, PackageDb db])
|
|
`E.catch` \(_ :: SomeException) -> return [GlobalDb, UserDb]
|
|
|
|
|
|
-- | List packages in one or more ghc package store
|
|
ghcPkgList :: [GhcPkgDb] -> IO [PackageBaseName]
|
|
ghcPkgList dbs = map fst3 <$> ghcPkgListEx dbs
|
|
where fst3 (x,_,_) = x
|
|
|
|
ghcPkgListEx :: [GhcPkgDb] -> IO [Package]
|
|
ghcPkgListEx dbs = do
|
|
output <- suppressStderr $ readProcess "ghc-pkg" opts ""
|
|
return $ parseGhcPkgOutput $ lines output
|
|
where
|
|
opts = ["list", "-v"] ++ ghcPkgDbStackOpts dbs
|
|
|
|
parseGhcPkgOutput :: [String] -> [Package]
|
|
parseGhcPkgOutput [] = []
|
|
parseGhcPkgOutput (l:ls) =
|
|
parseGhcPkgOutput ls ++ case l of
|
|
[] -> []
|
|
h:_ | isSpace h -> maybeToList $ packageLine l
|
|
| otherwise -> []
|
|
|
|
packageLine :: String -> Maybe Package
|
|
packageLine l =
|
|
case listToMaybe $ readP_to_S packageLineP l of
|
|
Just ((Normal,p),_) -> Just p
|
|
_ -> Nothing
|
|
|
|
data PackageState = Normal | Hidden | Broken deriving (Eq,Show)
|
|
|
|
packageLineP :: ReadP (PackageState, Package)
|
|
packageLineP = do
|
|
skipSpaces
|
|
p <- choice [ (Hidden,) <$> between (char '(') (char ')') packageP
|
|
, (Broken,) <$> between (char '{') (char '}') packageP
|
|
, (Normal,) <$> packageP ]
|
|
eof
|
|
return p
|
|
|
|
packageP :: ReadP (PackageBaseName, PackageVersion, PackageId)
|
|
packageP = do
|
|
pkgSpec@(name,ver) <- packageSpecP
|
|
skipSpaces
|
|
i <- between (char '(') (char ')') $ packageIdSpecP pkgSpec
|
|
return (name,ver,i)
|
|
|
|
packageSpecP :: ReadP (PackageBaseName,PackageVersion)
|
|
packageSpecP = do
|
|
fs <- many1 packageCompCharP `sepBy1` char '-'
|
|
return (intercalate "-" (init fs), last fs)
|
|
|
|
packageIdSpecP :: (PackageBaseName,PackageVersion) -> ReadP PackageId
|
|
packageIdSpecP (name,ver) = do
|
|
string name >> char '-' >> string ver >> char '-' >> return ()
|
|
many1 (satisfy isAlphaNum)
|
|
|
|
packageCompCharP :: ReadP Char
|
|
packageCompCharP =
|
|
satisfy $ \c -> isAlphaNum c || c `elem` "_-."
|
|
|
|
-- | Get options needed to add a list of package dbs to ghc-pkg's db stack
|
|
ghcPkgDbStackOpts :: [GhcPkgDb] -- ^ Package db stack
|
|
-> [String]
|
|
ghcPkgDbStackOpts dbs = ghcPkgDbOpt `concatMap` dbs
|
|
|
|
-- | Get options needed to add a list of package dbs to ghc's db stack
|
|
ghcDbStackOpts :: [GhcPkgDb] -- ^ Package db stack
|
|
-> [String]
|
|
ghcDbStackOpts dbs = ghcDbOpt `concatMap` dbs
|
|
|
|
ghcPkgDbOpt :: GhcPkgDb -> [String]
|
|
ghcPkgDbOpt GlobalDb = ["--global"]
|
|
ghcPkgDbOpt UserDb = ["--user"]
|
|
ghcPkgDbOpt (PackageDb pkgDb)
|
|
| ghcVersion < 706 = ["--no-user-package-conf", "--package-conf=" ++ pkgDb]
|
|
| otherwise = ["--no-user-package-db", "--package-db=" ++ pkgDb]
|
|
|
|
ghcDbOpt :: GhcPkgDb -> [String]
|
|
ghcDbOpt GlobalDb
|
|
| ghcVersion < 706 = ["-global-package-conf"]
|
|
| otherwise = ["-global-package-db"]
|
|
ghcDbOpt UserDb
|
|
| ghcVersion < 706 = ["-user-package-conf"]
|
|
| otherwise = ["-user-package-db"]
|
|
ghcDbOpt (PackageDb pkgDb)
|
|
| ghcVersion < 706 = ["-no-user-package-conf", "-package-conf", pkgDb]
|
|
| otherwise = ["-no-user-package-db", "-package-db", pkgDb]
|