ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-11 15:27:20 +03:00
Code Issues Projects Releases Wiki Activity

liquidhaskell: new expression

Browse Source
This commit is contained in:
John Wiegley 2015-01-02 15:29:01 -06:00
parent e0a5b75d9c
commit f742da0a31
3 changed files with 62 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
pkgs/development/tools/haskell/liquid-fixpoint/default.nix Normal file
View File

@ -0,0 +1,26 @@
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
{ cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq
, filemanip, filepath, hashable, intern, mtl, parsec, syb, text
, textFormat, transformers, unorderedContainers, ocaml
}:
cabal.mkDerivation (self: {
pname = "liquid-fixpoint";
version = "0.2.1.0";
sha256 = "11l9750ldxcb5jq34dl0iggpi9dh1zwjnlzgmwg4qvsgcq8cakdf";
isLibrary = true;
isExecutable = true;
buildDepends = [
ansiTerminal attoparsec bifunctors cmdargs deepseq filemanip
filepath hashable intern mtl parsec syb text textFormat
transformers unorderedContainers
];
buildTools = [ ocaml ];
meta = {
homepage = "https://github.com/ucsd-progsys/liquid-fixpoint";
description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
license = self.stdenv.lib.licenses.bsd3;
platforms = self.ghc.meta.platforms;
};
})

32
pkgs/development/tools/haskell/liquidhaskell/default.nix Normal file
View File

@ -0,0 +1,32 @@
# 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;
doCheck = false;
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
];
meta = {
homepage = "http://goto.ucsd.edu/liquidhaskell";
description = "Liquid Types for Haskell";
license = "GPL";
platforms = self.ghc.meta.platforms;
};
})

4
pkgs/top-level/haskell-packages.nix
View File

@ -3217,6 +3217,10 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
lhs2tex = callPackage ../tools/typesetting/lhs2tex {};
liquidFixpoint = callPackage ../development/tools/haskell/liquid-fixpoint { ocaml = pkgs.ocaml; };
liquidhaskell = callPackage ../development/tools/haskell/liquidhaskell {};
packunused = callPackage ../development/tools/haskell/packunused {};
rehoo = callPackage ../development/tools/haskell/rehoo {};