5401849e3a
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>
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
|
|
|