git.iko.soy/haskell.nix
on iko/ghcjs-patch-master help sign in
build more plutus pkgs (#268)
4d8603aMoritz Angermann
ci.nix+9−4
compare with iko/ghcjs-patch-master
unifiedsplit
@@ -78,9 +78,12 @@ in
78 (lib.filterAttrs (k: _: builtins.elem k cardano-wallet-args.pkgs)
78 (lib.filterAttrs (k: _: builtins.elem k cardano-wallet-args.pkgs)
79 (haskell-nix.stackProject cardano-wallet-args));
79 (haskell-nix.stackProject cardano-wallet-args));
80 plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-linux"; }));
80 plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-linux"; }));
81+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
81− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
82+ (haskell-nix.stackProject plutus-args));
82 x86_64-pc-mingw32-plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-linux"; crossSystem.config = "x86_64-pc-mingw32"; }));
83 x86_64-pc-mingw32-plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-linux"; crossSystem.config = "x86_64-pc-mingw32"; }));
84+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
83− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
85+ (haskell-nix.stackProject plutus-args));
86+
84 };
87 };
85 x86_64-darwin = {
88 x86_64-darwin = {
86 # cardano-sl
89 # cardano-sl
@@ -99,9 +102,11 @@ in
99 (lib.filterAttrs (k: _: builtins.elem k cardano-wallet-args.pkgs)
102 (lib.filterAttrs (k: _: builtins.elem k cardano-wallet-args.pkgs)
100 (haskell-nix.stackProject cardano-wallet-args));
103 (haskell-nix.stackProject cardano-wallet-args));
101 plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-darwin"; }));
104 plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-darwin"; }));
105+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
102− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
106+ (haskell-nix.stackProject plutus-args));
103 x86_64-pc-mingw32-plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-darwin"; crossSystem.config = "x86_64-pc-mingw32"; }));
107 x86_64-pc-mingw32-plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-darwin"; crossSystem.config = "x86_64-pc-mingw32"; }));
108+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
104− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
109+ (haskell-nix.stackProject plutus-args));
105 };
110 };
106 };
111 };
107
112
examples/plutus-args.nix+21
@@ -1,6 +1,27 @@
1let iohk-archive = name: hash: "https://github.com/input-output-hk/${name}/archive/${hash}.tar.gz";
1let iohk-archive = name: hash: "https://github.com/input-output-hk/${name}/archive/${hash}.tar.gz";
2in rec {
2in rec {
3 src = builtins.fetchTarball (iohk-archive "plutus" "0d76e98ab267d621ad15002b5f824cad71797754");
3 src = builtins.fetchTarball (iohk-archive "plutus" "0d76e98ab267d621ad15002b5f824cad71797754");
4+ pkgs = [
5+ "language-plutus-core"
6+ "plutus-core-interpreter"
7+ "plutus-exe"
8+ "plutus-ir"
9+ "plutus-tx"
10+ "plutus-use-cases"
11+ "playground-common"
12+ "marlowe"
13+ "marlowe-playground-server"
14+ "plutus-wallet-api"
15+ "plutus-playground-server"
16+ "plutus-playground-lib"
17+ "plutus-tutorial"
18+ "plutus-book"
19+ "plutus-contract"
20+ "plutus-emulator"
21+ "deployment-server"
22+ "iots-export"
23+ "marlowe-symbolic"
24+ ];
4 cache = [
25 cache = [
5 { name = "row-types";
26 { name = "row-types";
6 url = "https://github.com/target/row-types";
27 url = "https://github.com/target/row-types";