2014-01-08 13:16:10 +00:00
|
|
|
{-# LANGUAGE OverloadedStrings, CPP #-}
|
2013-03-03 06:47:03 +00:00
|
|
|
|
2013-05-17 01:00:01 +00:00
|
|
|
module Language.Haskell.GhcMod.CabalApi (
|
2013-09-19 07:21:48 +00:00
|
|
|
getCompilerOptions
|
2013-05-30 01:50:19 +00:00
|
|
|
, parseCabalFile
|
|
|
|
, cabalAllBuildInfo
|
2013-09-16 00:56:08 +00:00
|
|
|
, cabalDependPackages
|
|
|
|
, cabalSourceDirs
|
2013-09-20 08:25:28 +00:00
|
|
|
, cabalAllTargets
|
2014-04-30 23:54:15 +00:00
|
|
|
, cabalGetConfig
|
|
|
|
, cabalConfigPath
|
|
|
|
, cabalConfigDependencies
|
2012-10-24 01:06:24 +00:00
|
|
|
) where
|
2012-10-24 00:11:09 +00:00
|
|
|
|
2014-04-15 03:13:10 +00:00
|
|
|
import Language.Haskell.GhcMod.Types
|
|
|
|
import Language.Haskell.GhcMod.GhcPkg
|
2014-04-30 23:54:15 +00:00
|
|
|
import Language.Haskell.GhcMod.Utils
|
2014-04-15 03:13:10 +00:00
|
|
|
|
2013-05-29 08:47:52 +00:00
|
|
|
import Control.Applicative ((<$>))
|
2014-04-30 23:54:15 +00:00
|
|
|
import Control.Exception (throwIO,catch,SomeException)
|
2013-09-21 14:08:45 +00:00
|
|
|
import Control.Monad (filterM)
|
|
|
|
import CoreMonad (liftIO)
|
2014-05-03 12:51:58 +00:00
|
|
|
import Data.Maybe (maybeToList)
|
2012-10-24 00:11:09 +00:00
|
|
|
import Data.Set (fromList, toList)
|
2014-04-30 23:54:15 +00:00
|
|
|
import Data.List (find,tails,isPrefixOf)
|
2013-09-21 12:01:43 +00:00
|
|
|
import Distribution.ModuleName (ModuleName,toFilePath)
|
2013-05-30 01:50:19 +00:00
|
|
|
import Distribution.Package (Dependency(Dependency)
|
2014-04-30 23:54:15 +00:00
|
|
|
, PackageName(PackageName)
|
|
|
|
, InstalledPackageId(..))
|
2014-04-17 21:40:11 +00:00
|
|
|
import qualified Distribution.Package as C
|
2014-03-27 06:17:58 +00:00
|
|
|
import Distribution.PackageDescription (PackageDescription, BuildInfo, TestSuite, TestSuiteInterface(..), Executable)
|
|
|
|
import qualified Distribution.PackageDescription as P
|
2013-05-29 08:47:52 +00:00
|
|
|
import Distribution.PackageDescription.Configuration (finalizePackageDescription)
|
2012-10-24 00:11:09 +00:00
|
|
|
import Distribution.PackageDescription.Parse (readPackageDescription)
|
2013-05-29 08:47:52 +00:00
|
|
|
import Distribution.Simple.Compiler (CompilerId(..), CompilerFlavor(..))
|
2013-03-04 04:55:03 +00:00
|
|
|
import Distribution.Simple.Program (ghcProgram)
|
|
|
|
import Distribution.Simple.Program.Types (programName, programFindVersion)
|
2014-04-30 23:54:15 +00:00
|
|
|
import Distribution.Simple.BuildPaths (defaultDistPref)
|
|
|
|
import Distribution.Simple.Configure (localBuildInfoFile)
|
2013-05-29 08:47:52 +00:00
|
|
|
import Distribution.System (buildPlatform)
|
2013-03-01 06:25:43 +00:00
|
|
|
import Distribution.Text (display)
|
2013-03-01 05:40:34 +00:00
|
|
|
import Distribution.Verbosity (silent)
|
2013-09-20 08:21:10 +00:00
|
|
|
import Distribution.Version (Version)
|
2013-09-16 03:04:34 +00:00
|
|
|
import System.Directory (doesFileExist)
|
2014-04-30 23:54:15 +00:00
|
|
|
import System.FilePath ((</>))
|
2012-10-24 00:11:09 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2013-09-20 01:30:51 +00:00
|
|
|
-- | Getting necessary 'CompilerOptions' from three information sources.
|
2014-04-15 03:18:42 +00:00
|
|
|
getCompilerOptions :: [GHCOption]
|
|
|
|
-> Cradle
|
|
|
|
-> PackageDescription
|
|
|
|
-> IO CompilerOptions
|
2013-09-19 07:21:48 +00:00
|
|
|
getCompilerOptions ghcopts cradle pkgDesc = do
|
2014-03-30 08:28:57 +00:00
|
|
|
gopts <- getGHCOptions ghcopts cradle rdir $ head buildInfos
|
2014-05-03 12:51:58 +00:00
|
|
|
depPkgs <- cabalConfigDependencies <$> cabalGetConfig cradle
|
2014-04-30 23:54:15 +00:00
|
|
|
return $ CompilerOptions gopts idirs depPkgs
|
2013-03-03 06:47:03 +00:00
|
|
|
where
|
2013-05-13 03:57:58 +00:00
|
|
|
wdir = cradleCurrentDir cradle
|
2014-03-30 08:28:57 +00:00
|
|
|
rdir = cradleRootDir cradle
|
2013-09-19 07:21:48 +00:00
|
|
|
buildInfos = cabalAllBuildInfo pkgDesc
|
2014-03-30 08:28:57 +00:00
|
|
|
idirs = includeDirectories rdir wdir $ cabalSourceDirs buildInfos
|
2014-01-30 11:42:25 +00:00
|
|
|
|
2013-09-16 02:15:34 +00:00
|
|
|
----------------------------------------------------------------
|
|
|
|
-- Include directories for modules
|
|
|
|
|
2013-09-16 01:55:26 +00:00
|
|
|
cabalBuildDirs :: [FilePath]
|
2013-09-20 07:23:58 +00:00
|
|
|
cabalBuildDirs = ["dist/build", "dist/build/autogen"]
|
2013-09-16 01:55:26 +00:00
|
|
|
|
2013-09-16 02:00:39 +00:00
|
|
|
includeDirectories :: FilePath -> FilePath -> [FilePath] -> [FilePath]
|
2013-09-16 01:55:26 +00:00
|
|
|
includeDirectories cdir wdir dirs = uniqueAndSort (extdirs ++ [cdir,wdir])
|
|
|
|
where
|
2013-09-20 02:22:11 +00:00
|
|
|
extdirs = map expand $ dirs ++ cabalBuildDirs
|
|
|
|
expand "." = cdir
|
|
|
|
expand subdir = cdir </> subdir
|
2013-05-29 08:47:52 +00:00
|
|
|
|
2013-03-03 06:47:03 +00:00
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2013-09-16 00:56:08 +00:00
|
|
|
-- | Parsing a cabal file and returns 'PackageDescription'.
|
|
|
|
-- 'IOException' is thrown if parsing fails.
|
2013-05-30 01:50:19 +00:00
|
|
|
parseCabalFile :: FilePath -> IO PackageDescription
|
|
|
|
parseCabalFile file = do
|
2013-05-29 08:47:52 +00:00
|
|
|
cid <- getGHCId
|
|
|
|
epgd <- readPackageDescription silent file
|
|
|
|
case toPkgDesc cid epgd of
|
2013-05-30 01:50:19 +00:00
|
|
|
Left deps -> throwIO $ userError $ show deps ++ " are not installed"
|
|
|
|
Right (pd,_) -> if nullPkg pd
|
|
|
|
then throwIO $ userError $ file ++ " is broken"
|
|
|
|
else return pd
|
2013-05-29 08:47:52 +00:00
|
|
|
where
|
|
|
|
toPkgDesc cid = finalizePackageDescription [] (const True) buildPlatform cid []
|
2013-05-30 01:50:19 +00:00
|
|
|
nullPkg pd = name == ""
|
|
|
|
where
|
2014-04-17 21:40:11 +00:00
|
|
|
PackageName name = C.pkgName (P.package pd)
|
2013-03-01 05:40:34 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
2012-10-24 01:48:13 +00:00
|
|
|
|
2013-09-20 08:15:41 +00:00
|
|
|
getGHCOptions :: [GHCOption] -> Cradle -> FilePath -> BuildInfo -> IO [GHCOption]
|
2014-03-30 08:28:57 +00:00
|
|
|
getGHCOptions ghcopts cradle rdir binfo = do
|
|
|
|
cabalCpp <- cabalCppOptions rdir
|
2014-03-27 06:17:58 +00:00
|
|
|
let cpps = map ("-optP" ++) $ P.cppOptions binfo ++ cabalCpp
|
2013-09-20 08:15:41 +00:00
|
|
|
return $ ghcopts ++ pkgDb ++ exts ++ [lang] ++ libs ++ libDirs ++ cpps
|
2013-03-05 01:21:55 +00:00
|
|
|
where
|
2014-04-15 03:13:10 +00:00
|
|
|
pkgDb = ghcDbStackOpts $ cradlePkgDbStack cradle
|
2014-03-27 06:17:58 +00:00
|
|
|
lang = maybe "-XHaskell98" (("-X" ++) . display) $ P.defaultLanguage binfo
|
|
|
|
libDirs = map ("-L" ++) $ P.extraLibDirs binfo
|
|
|
|
exts = map (("-X" ++) . display) $ P.usedExtensions binfo
|
|
|
|
libs = map ("-l" ++) $ P.extraLibs binfo
|
2013-09-16 02:15:34 +00:00
|
|
|
|
2013-09-16 03:04:34 +00:00
|
|
|
cabalCppOptions :: FilePath -> IO [String]
|
|
|
|
cabalCppOptions dir = do
|
|
|
|
exist <- doesFileExist cabalMacro
|
2014-03-27 07:31:49 +00:00
|
|
|
return $ if exist then
|
|
|
|
["-include", cabalMacro]
|
2013-09-16 03:04:34 +00:00
|
|
|
else
|
2014-03-27 07:31:49 +00:00
|
|
|
[]
|
2013-09-16 03:04:34 +00:00
|
|
|
where
|
|
|
|
cabalMacro = dir </> "dist/build/autogen/cabal_macros.h"
|
2013-03-05 01:21:55 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2014-03-30 06:07:14 +00:00
|
|
|
-- | Extracting all 'BuildInfo' for libraries, executables, and tests.
|
2013-05-29 08:47:52 +00:00
|
|
|
cabalAllBuildInfo :: PackageDescription -> [BuildInfo]
|
2014-04-25 18:48:20 +00:00
|
|
|
cabalAllBuildInfo pd = libBI ++ execBI ++ testBI ++ benchBI
|
2012-10-24 01:06:24 +00:00
|
|
|
where
|
2014-03-27 06:17:58 +00:00
|
|
|
libBI = map P.libBuildInfo $ maybeToList $ P.library pd
|
|
|
|
execBI = map P.buildInfo $ P.executables pd
|
|
|
|
testBI = map P.testBuildInfo $ P.testSuites pd
|
2014-04-26 00:22:42 +00:00
|
|
|
#if __GLASGOW_HASKELL__ >= 704
|
2014-04-25 18:48:20 +00:00
|
|
|
benchBI = map P.benchmarkBuildInfo $ P.benchmarks pd
|
2014-04-26 00:22:42 +00:00
|
|
|
#else
|
|
|
|
benchBI = []
|
|
|
|
#endif
|
2012-10-24 01:06:24 +00:00
|
|
|
|
2013-03-01 05:40:34 +00:00
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2013-09-16 00:56:08 +00:00
|
|
|
-- | Extracting package names of dependency.
|
2014-01-30 11:42:25 +00:00
|
|
|
cabalDependPackages :: [BuildInfo] -> [PackageBaseName]
|
2014-03-27 07:31:49 +00:00
|
|
|
cabalDependPackages bis = uniqueAndSort pkgs
|
2013-03-01 05:40:34 +00:00
|
|
|
where
|
2014-03-27 06:17:58 +00:00
|
|
|
pkgs = map getDependencyPackageName $ concatMap P.targetBuildDepends bis
|
2013-05-29 08:47:52 +00:00
|
|
|
getDependencyPackageName (Dependency (PackageName nm) _) = nm
|
2013-03-05 01:21:55 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2013-09-16 00:56:08 +00:00
|
|
|
-- | Extracting include directories for modules.
|
|
|
|
cabalSourceDirs :: [BuildInfo] -> [IncludeDir]
|
2014-03-27 06:17:58 +00:00
|
|
|
cabalSourceDirs bis = uniqueAndSort $ concatMap P.hsSourceDirs bis
|
2013-09-16 00:56:08 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2013-03-01 06:25:43 +00:00
|
|
|
uniqueAndSort :: [String] -> [String]
|
|
|
|
uniqueAndSort = toList . fromList
|
2013-03-04 04:55:03 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
2013-05-29 08:47:52 +00:00
|
|
|
getGHCId :: IO CompilerId
|
|
|
|
getGHCId = CompilerId GHC <$> getGHC
|
|
|
|
|
|
|
|
getGHC :: IO Version
|
|
|
|
getGHC = do
|
|
|
|
mv <- programFindVersion ghcProgram silent (programName ghcProgram)
|
|
|
|
case mv of
|
|
|
|
Nothing -> throwIO $ userError "ghc not found"
|
2014-03-27 07:31:49 +00:00
|
|
|
Just v -> return v
|
2013-09-20 08:25:28 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
|
|
|
-- | Extracting all 'Module' 'FilePath's for libraries, executables,
|
|
|
|
-- tests and benchmarks.
|
2013-09-21 14:08:45 +00:00
|
|
|
cabalAllTargets :: PackageDescription -> IO ([String],[String],[String],[String])
|
|
|
|
cabalAllTargets pd = do
|
2014-03-27 06:17:58 +00:00
|
|
|
exeTargets <- mapM getExecutableTarget $ P.executables pd
|
|
|
|
testTargets <- mapM getTestTarget $ P.testSuites pd
|
2013-09-21 15:26:55 +00:00
|
|
|
return (libTargets,concat exeTargets,concat testTargets,benchTargets)
|
2013-09-20 08:25:28 +00:00
|
|
|
where
|
2014-03-27 06:17:58 +00:00
|
|
|
lib = case P.library pd of
|
2013-09-20 08:25:28 +00:00
|
|
|
Nothing -> []
|
2014-03-27 06:17:58 +00:00
|
|
|
Just l -> P.libModules l
|
2013-09-20 08:25:28 +00:00
|
|
|
|
2014-03-27 07:31:49 +00:00
|
|
|
libTargets = map toModuleString lib
|
2014-01-08 13:16:10 +00:00
|
|
|
#if __GLASGOW_HASKELL__ >= 704
|
2014-03-27 06:17:58 +00:00
|
|
|
benchTargets = map toModuleString $ concatMap P.benchmarkModules $ P.benchmarks pd
|
2014-01-08 13:16:10 +00:00
|
|
|
#else
|
|
|
|
benchTargets = []
|
|
|
|
#endif
|
2013-09-21 12:01:43 +00:00
|
|
|
toModuleString :: ModuleName -> String
|
|
|
|
toModuleString mn = fromFilePath $ toFilePath mn
|
|
|
|
|
|
|
|
fromFilePath :: FilePath -> String
|
|
|
|
fromFilePath fp = map (\c -> if c=='/' then '.' else c) fp
|
|
|
|
|
2013-09-21 15:26:55 +00:00
|
|
|
getTestTarget :: TestSuite -> IO [String]
|
|
|
|
getTestTarget ts =
|
2014-03-27 06:17:58 +00:00
|
|
|
case P.testInterface ts of
|
2013-09-21 15:26:55 +00:00
|
|
|
(TestSuiteExeV10 _ filePath) -> do
|
2014-03-27 06:17:58 +00:00
|
|
|
let maybeTests = [p </> e | p <- P.hsSourceDirs $ P.testBuildInfo ts, e <- [filePath]]
|
2013-09-21 15:26:55 +00:00
|
|
|
liftIO $ filterM doesFileExist maybeTests
|
|
|
|
(TestSuiteLibV09 _ moduleName) -> return [toModuleString moduleName]
|
|
|
|
(TestSuiteUnsupported _) -> return []
|
2013-09-21 14:08:45 +00:00
|
|
|
|
|
|
|
getExecutableTarget :: Executable -> IO [String]
|
|
|
|
getExecutableTarget exe = do
|
2014-03-27 06:17:58 +00:00
|
|
|
let maybeExes = [p </> e | p <- P.hsSourceDirs $ P.buildInfo exe, e <- [P.modulePath exe]]
|
2013-09-21 14:08:45 +00:00
|
|
|
liftIO $ filterM doesFileExist maybeExes
|
2014-04-30 23:54:15 +00:00
|
|
|
|
|
|
|
----------------------------------------------------------------
|
|
|
|
|
|
|
|
type CabalConfig = String
|
|
|
|
|
|
|
|
-- | Get file containing 'LocalBuildInfo' data. If it doesn't exist run @cabal
|
|
|
|
-- configure@ i.e. configure with default options like @cabal build@ would do.
|
|
|
|
cabalGetConfig :: Cradle -> IO CabalConfig
|
|
|
|
cabalGetConfig cradle =
|
|
|
|
readFile path `catch'` (\_ -> configure >> readFile path)
|
|
|
|
where
|
|
|
|
catch' = catch :: IO a -> (SomeException -> IO a) -> IO a
|
|
|
|
prjDir = cradleRootDir cradle
|
|
|
|
path = prjDir </> cabalConfigPath
|
|
|
|
configure =
|
|
|
|
withDirectory_ prjDir $ readProcess' "cabal" ["configure"]
|
|
|
|
|
|
|
|
|
|
|
|
-- | Path to 'LocalBuildInfo' file, usually @dist/setup-config@
|
|
|
|
cabalConfigPath :: FilePath
|
|
|
|
cabalConfigPath = localBuildInfoFile defaultDistPref
|
|
|
|
|
2014-05-03 12:51:58 +00:00
|
|
|
cabalConfigDependencies :: CabalConfig -> [Package]
|
2014-04-30 23:54:15 +00:00
|
|
|
cabalConfigDependencies config =
|
2014-05-03 12:51:58 +00:00
|
|
|
(fromInstalledPackageId . snd) <$> cfgDepends
|
2014-04-30 23:54:15 +00:00
|
|
|
where
|
2014-05-03 12:51:58 +00:00
|
|
|
cfgDepends :: [(PackageName, InstalledPackageId)]
|
|
|
|
cfgDepends =
|
|
|
|
case extractCabalSetupConfig "configDependencies" config of
|
|
|
|
Just x -> x
|
|
|
|
Nothing -> error $
|
|
|
|
"cabalConfigDependencies: Extracting field `configDependencies' from"
|
|
|
|
++ " setup-config failed"
|
2014-04-30 23:54:15 +00:00
|
|
|
|
|
|
|
|
|
|
|
-- | Extract part of cabal's @setup-config@, this is done with a mix of manual
|
|
|
|
-- string processing and use of 'read'. This way we can extract a field from
|
|
|
|
-- 'LocalBuildInfo' without having to parse the whole thing which would mean
|
|
|
|
-- depending on the exact version of Cabal used to configure the project as it
|
|
|
|
-- is rather likley that some part of 'LocalBuildInfo' changed.
|
|
|
|
--
|
|
|
|
-- Right now 'extractCabalSetupConfig' can only deal with Lists and Tupels in
|
|
|
|
-- the field!
|
|
|
|
extractCabalSetupConfig :: (Read r) => String -> CabalConfig -> Maybe r
|
|
|
|
extractCabalSetupConfig field config = do
|
|
|
|
read <$> extractParens <$> find (field `isPrefixOf`) (tails config)
|