nixpkgs/pkgs/development/compilers/cryptol/fix-gitrev.patch

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
cryptol v2.0.0 This comes with several extra libraries, including GraphSCC, monadLib, presburger, process and smtLib, all required as build dependencies. But otherwise totally automated via cabal2nix. Next up is CVC4 (a total pain in the ass to package) for proving/SAT support. I have another WIP branch for the unfree 1.x series which I may (or may not) add later as it has external verification tech at the moment. Signed-off-by: Austin Seipp <aseipp@pobox.com> 2014-04-25 04:15:50 +00:00			`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`