3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/compilers/cryptol/2.0.x.nix
Austin Seipp d9d76f1a3a cryptol: add 1.8.x expression
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:50:55 -05:00

32 lines
1.1 KiB
Nix

{ cabal, cabalInstall, Cabal, alex, ansiTerminal, deepseq, executablePath
, filepath, graphSCC, happy, haskeline, monadLib, mtl, presburger, QuickCheck
, random, smtLib, syb, text, transformers, utf8String, process, fetchgit
}:
cabal.mkDerivation (self: {
pname = "cryptol";
version = "2.0.0";
src = fetchgit {
url = "https://github.com/GaloisInc/cryptol.git";
rev = "refs/tags/v2.0.0";
sha256 = "6af3499d7c6f034446f6665660f7a66dd592e81281e34b0cee3e55bc03597e6b";
};
isLibrary = true;
isExecutable = true;
patches = [ ./fix-gitrev.patch ];
buildDepends = [
ansiTerminal deepseq executablePath filepath graphSCC haskeline
monadLib mtl presburger QuickCheck random smtLib syb text
transformers utf8String process Cabal
];
buildTools = [ alex happy cabalInstall ];
meta = {
description = "Cryptol: The Language of Cryptography";
homepage = "https://cryptol.net";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
maintainers = [ self.stdenv.lib.maintainers.thoughtpolice ];
};
})