-
Notifications
You must be signed in to change notification settings - Fork 17
/
liquidhaskell-0.8.10.1-r2-ee74a1f715de67d649804fcfe0478e87b7940a84c43cda1bdbd0c235f701fd2a.nix
150 lines (150 loc) · 7.68 KB
/
liquidhaskell-0.8.10.1-r2-ee74a1f715de67d649804fcfe0478e87b7940a84c43cda1bdbd0c235f701fd2a.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {
include = false;
deterministic-profiling = false;
no-plugin = false;
mirror-modules-helper = false;
};
package = {
specVersion = "2.4";
identifier = { name = "liquidhaskell"; version = "0.8.10.1"; };
license = "BSD-3-Clause";
copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.";
maintainer = "Ranjit Jhala <jhala@cs.ucsd.edu>";
author = "Ranjit Jhala, Niki Vazou, Eric Seidel";
homepage = "https://github.com/ucsd-progsys/liquidhaskell";
url = "";
synopsis = "Liquid Types for Haskell";
description = "Liquid Types for Haskell.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal"))
(hsPkgs."cmdargs" or (errorHandler.buildDepError "cmdargs"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree"))
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
(hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot"))
(hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths"))
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
(hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."hscolour" or (errorHandler.buildDepError "hscolour"))
(hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."optics" or (errorHandler.buildDepError "optics"))
(hsPkgs."optparse-simple" or (errorHandler.buildDepError "optparse-simple"))
(hsPkgs."githash" or (errorHandler.buildDepError "githash"))
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."split" or (errorHandler.buildDepError "split"))
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
];
buildable = true;
};
exes = {
"liquid" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell"))
];
buildable = true;
};
"mirror-modules" = {
depends = (pkgs.lib).optionals (flags.mirror-modules-helper) [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."shelly" or (errorHandler.buildDepError "shelly"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."mustache" or (errorHandler.buildDepError "mustache"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
];
buildable = if flags.mirror-modules-helper then true else false;
};
};
tests = {
"test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."string-conv" or (errorHandler.buildDepError "string-conv"))
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml"))
(hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
"liquidhaskell-parser" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint"))
(hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell"))
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
];
buildable = true;
};
"synthesis" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint"))
(hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
];
buildable = true;
};
};
};
}