mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-17 13:01:31 +03:00
27 lines
544 B
Haskell
27 lines
544 B
Haskell
-- |
|
|
-- Module : $Header$
|
|
-- 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 = $(gitHash)
|
|
|
|
branch :: String
|
|
branch = $(gitBranch)
|
|
|
|
dirty :: Bool
|
|
dirty = $(gitDirty)
|