-
Notifications
You must be signed in to change notification settings - Fork 244
/
Copy pathdefault.nix
65 lines (65 loc) · 2.15 KB
/
default.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
{
pkgs = hackage:
{
packages = {
ghc-prim.revision = hackage.ghc-prim."0.6.1".revisions.default;
transformers.revision = hackage.transformers."0.5.6.2".revisions.default;
base.revision = hackage.base."4.14.3.0".revisions.default;
mtl.revision = hackage.mtl."2.2.2".revisions.default;
deepseq.revision = hackage.deepseq."1.4.4.0".revisions.default;
integer-gmp.revision = hackage.integer-gmp."1.0.3.0".revisions.default;
containers.revision = hackage.containers."0.6.5.1".revisions.default;
array.revision = hackage.array."0.5.4.0".revisions.default;
};
compiler = {
version = "8.10.7";
nix-name = "ghc8107";
packages = {
"transformers" = "0.5.6.2";
"containers" = "0.6.5.1";
"ghc-prim" = "0.6.1";
"mtl" = "2.2.2";
"base" = "4.14.3.0";
"integer-gmp" = "1.0.3.0";
"deepseq" = "1.4.4.0";
"array" = "0.5.4.0";
};
};
};
extras = hackage:
{ packages = { happy = ./.plan.nix/happy.nix; }; };
modules = [
{
preExistingPkgs = [
"ghc-prim"
"transformers"
"base"
"mtl"
"deepseq"
"integer-gmp"
"containers"
"array"
];
}
({ lib, ... }:
{
packages = {
"happy" = { flags = { "small_base" = lib.mkOverride 900 true; }; };
};
})
({ lib, ... }:
{
packages = {
"deepseq".components.library.planned = lib.mkOverride 900 true;
"base".components.library.planned = lib.mkOverride 900 true;
"integer-gmp".components.library.planned = lib.mkOverride 900 true;
"transformers".components.library.planned = lib.mkOverride 900 true;
"mtl".components.library.planned = lib.mkOverride 900 true;
"containers".components.library.planned = lib.mkOverride 900 true;
"ghc-prim".components.library.planned = lib.mkOverride 900 true;
"happy".components.exes."happy".planned = lib.mkOverride 900 true;
"array".components.library.planned = lib.mkOverride 900 true;
};
})
];
}