45 lines
1.1 KiB
Diff
45 lines
1.1 KiB
Diff
|
From 3ceec293f8e68314d872909b7de1d4a2c3ecba49 Mon Sep 17 00:00:00 2001
|
||
|
|
From: Austin Seipp <aseipp@pobox.com>
|
||
|
|
Date: Fri, 25 Apr 2014 00:24:39 -0500
|
||
|
|
Subject: [PATCH] Add GitRev.hs to signify v2.0.0 release
|
||
|
|
|
||
|
|
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
||
|
|
---
|
||
|
|
cryptol.cabal | 2 +-
|
||
|
|
src/GitRev.hs | 10 ++++++++++
|
||
|
|
2 files changed, 11 insertions(+), 1 deletion(-)
|
||
|
|
create mode 100644 src/GitRev.hs
|
||
|
|
|
||
|
|
diff --git a/cryptol.cabal b/cryptol.cabal
|
||
|
|
index 2ba6e56..9acd1ef 100644
|
||
|
|
--- a/cryptol.cabal
|
||
|
|
+++ b/cryptol.cabal
|
||
|
|
@@ -6,7 +6,7 @@ Author: Galois, Inc.
|
||
|
|
Maintainer: cryptol@galois.com
|
||
|
|
Copyright: 2013-2014 Galois Inc.
|
||
|
|
Category: Language
|
||
|
|
-Build-type: Configure
|
||
|
|
+Build-type: Simple
|
||
|
|
Cabal-version: >= 1.18
|
||
|
|
|
||
|
|
data-files: lib/Cryptol.cry
|
||
|
|
diff --git a/src/GitRev.hs b/src/GitRev.hs
|
||
|
|
new file mode 100644
|
||
|
|
index 0000000..1c767dc
|
||
|
|
--- /dev/null
|
||
|
|
+++ b/src/GitRev.hs
|
||
|
|
@@ -0,0 +1,10 @@
|
||
|
|
+module GitRev (hash, branch, dirty) where
|
||
|
|
+
|
||
|
|
+hash :: String
|
||
|
|
+hash = "bd578915eaba8c56fadc29fe30f5dcd212c63374"
|
||
|
|
+
|
||
|
|
+branch :: String
|
||
|
|
+branch = "Unknown"
|
||
|
|
+
|
||
|
|
+dirty :: Bool
|
||
|
|
+dirty = False
|
||
|
|
--
|
||
|
|
1.8.3.2
|
||
|
|
|