-- |
-- Module      :  GitRev
-- Copyright   :  (c) 2014-2016 Galois, Inc.
-- License     :  BSD3
-- Maintainer  :  cryptol@galois.com
-- Stability   :  provisional
-- Portability :  portable
--
-- Include information about the current git status for use in error
-- messages and version info output

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE Trustworthy #-}

module GitRev (hash, branch, dirty) where

import Development.GitRev

hash :: String
hash :: String
hash = $(String
gitHash)

branch :: String
branch :: String
branch = $(String
gitBranch)

dirty :: Bool
dirty :: Bool
dirty = $(Bool
gitDirty)
-- Last build Fri Sep 11 16:44:33 PDT 2020