blob: ab9a789baf2bf9bcf3d1dcfa377021ef694f7ee7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
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
|