@@ -1,3 +1,6 @@
1+{-# LANGUAGE LambdaCase #-}
2+{-# LANGUAGE MultiWayIf #-}
3+
14-- |
25-- Module : $Header$
36-- Copyright : (c) 2015 Adam C. Foltzer
@@ -18,6 +21,7 @@
1821-- > panic msg = error panicMsg
1922-- > where panicMsg =
2023-- > concat [ "[panic ", $(gitBranch), "@", $(gitHash)
24+-- > , " (", $(gitCommitDate), ")"
2125-- > , " (", $(gitCommitCount), " commits in HEAD)"
2226-- > , dirty, "] ", msg ]
2327-- > dirty | $(gitDirty) = " (uncommitted files present)"
@@ -26,11 +30,18 @@
2630-- > main = panic "oh no!"
2731--
2832-- > % cabal exec runhaskell Example.hs
29−-- > Example.hs: [panic master@2702e69355c978805064543489c351b61ac6760b (6 commits in HEAD) (uncommitted files present)] oh no!
33+-- > Example.hs: [panic master@2ae047ba5e4a6f0f3e705a43615363ac006099c1 (Mon Jan 11 11:50:59 2016 -0800) (14 commits in HEAD) (uncommitted files present)] oh no!
3034
31−module Development.GitRev (gitHash, gitBranch, gitDirty, gitCommitCount) where
35+module Development.GitRev
36+ ( gitBranch
37+ , gitCommitCount
38+ , gitCommitDate
39+ , gitDescribe
40+ , gitDirty
41+ , gitDirtyTracked
42+ , gitHash
43+ ) where
3244
33−import Control.Applicative
3445import Control.Exception
3546import Control.Monad
3647import Data.Maybe
@@ -41,6 +52,9 @@ import System.Exit
4152import System.FilePath
4253import System.Process
4354
55+import Prelude ()
56+import Prelude.Compat
57+
4458-- | Run git with the given arguments and no stdin, returning the
4559-- stdout output. If git isn't available or something goes wrong,
4660-- return the second argument.
@@ -52,7 +66,7 @@ runGit args def useIdx = do
5266 if gitFound
5367 then do
5468 -- a lot of bookkeeping to record the right dependencies
55− pwd <- runIO getCurrentDirectory
69+ pwd <- runIO getDotGit
5670 let hd = pwd </> ".git" </> "HEAD"
5771 index = pwd </> ".git" </> "index"
5872 packedRefs = pwd </> ".git" </> "packed-refs"
@@ -60,8 +74,7 @@ runGit args def useIdx = do
6074 when hdExists $ do
6175 -- the HEAD file either contains the hash of a detached head
6276 -- or a pointer to the file that contains the hash of the head
63− hdRef <- runIO $ readFile hd
64− case splitAt 5 hdRef of
77+ splitAt 5 `fmap` runIO (readFile hd) >>= \case
6578 -- pointer to ref
6679 ("ref: ", relRef) -> do
6780 let ref = pwd </> ".git" </> relRef
@@ -84,6 +97,36 @@ runGit args def useIdx = do
8497 ExitFailure _ -> return def
8598 else return def
8699
100+-- | Determine where our @.git@ directory is, in case we're in a
101+-- submodule.
102+getDotGit :: IO FilePath
103+getDotGit = do
104+ pwd <- getGitRoot
105+ let dotGit = pwd </> ".git"
106+ oops = return dotGit -- it's gonna fail, that's fine
107+ isDir <- doesDirectoryExist dotGit
108+ isFile <- doesFileExist dotGit
109+ if | isDir -> return dotGit
110+ | not isFile -> oops
111+ | isFile ->
112+ splitAt 8 `fmap` readFile dotGit >>= \case
113+ ("gitdir: ", relDir) -> do
114+ isRelDir <- doesDirectoryExist relDir
115+ if isRelDir
116+ then return relDir
117+ else oops
118+ _ -> oops
119+
120+-- | Get the root directory of the Git repo.
121+getGitRoot :: IO FilePath
122+getGitRoot = do
123+ pwd <- getCurrentDirectory
124+ (code, out, _) <-
125+ readProcessWithExitCode "git" ["rev-parse", "--show-toplevel"] ""
126+ case code of
127+ ExitSuccess -> return $ takeWhile (/= '\n') out
128+ ExitFailure _ -> return pwd -- later steps will fail, that's fine
129+
87130-- | Type to flag if the git index is used or not in a call to runGit
88131data IndexUsed = IdxUsed -- ^ The git index is used
89132 | IdxNotUsed -- ^ The git index is /not/ used
@@ -102,16 +145,36 @@ gitBranch :: ExpQ
102145gitBranch =
103146 stringE =<< runGit ["rev-parse", "--abbrev-ref", "HEAD"] "UNKNOWN" IdxNotUsed
104147
148+-- | Return the long git description for the current git commit, or
149+-- @UNKNOWN@ if not in a git repository.
150+gitDescribe :: ExpQ
151+gitDescribe =
152+ stringE =<< runGit ["describe", "--long", "--always"] "UNKNOWN" IdxNotUsed
153+
105154-- | Return @True@ if there are non-committed files present in the
106155-- repository
107156gitDirty :: ExpQ
108157gitDirty = do
109158 output <- runGit ["status", "--porcelain"] "" IdxUsed
110159 case output of
111− "" -> conE $ mkName "Prelude.False"
112− _ -> conE $ mkName "Prelude.True"
160+ "" -> conE falseName
161+ _ -> conE trueName
162+
163+-- | Return @True@ if there are non-commited changes to tracked files
164+-- present in the repository
165+gitDirtyTracked :: ExpQ
166+gitDirtyTracked = do
167+ output <- runGit ["status", "--porcelain","--untracked-files=no"] "" IdxUsed
168+ case output of
169+ "" -> conE falseName
170+ _ -> conE trueName
113171
114172-- | Return the number of commits in the current head
115173gitCommitCount :: ExpQ
116174gitCommitCount =
117175 stringE =<< runGit ["rev-list", "HEAD", "--count"] "UNKNOWN" IdxNotUsed
176+
177+-- | Return the commit date of the current head
178+gitCommitDate :: ExpQ
179+gitCommitDate =
180+ stringE =<< runGit ["log", "HEAD", "-1", "--format=%cd"] "UNKNOWN" IdxNotUsed