nixpkgs/pkgs/development/tools/haskell/liquidhaskell/default.nix
2015-01-03 00:24:48 +01:00

32 lines
1.1 KiB
Nix

# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, aeson, ansiTerminal, bifunctors, cmdargs, cpphs
, dataDefault, deepseq, Diff, filemanip, filepath, fingertree
, ghcPaths, hashable, hscolour, intern, liquidFixpoint, mtl
, optparseApplicative, parsec, syb, tagged, tasty, tastyHunit
, tastyRerun, text, time, unorderedContainers, vector
}:
cabal.mkDerivation (self: {
pname = "liquidhaskell";
version = "0.2.1.0";
sha256 = "172ki1pr096jc1azs6hq1p6czjr2gxb0zafmlg9bicn4nwp2h7vy";
isLibrary = true;
isExecutable = true;
buildDepends = [
aeson ansiTerminal bifunctors cmdargs cpphs dataDefault deepseq
Diff filemanip filepath fingertree ghcPaths hashable hscolour
intern liquidFixpoint mtl parsec syb text time unorderedContainers
vector
];
testDepends = [
filepath optparseApplicative tagged tasty tastyHunit tastyRerun
];
doCheck = false;
meta = {
homepage = "http://goto.ucsd.edu/liquidhaskell";
description = "Liquid Types for Haskell";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})