on iko/ghcjs-patch-master help sign in
build more plutus pkgs (#268)

Build more plutus pkgs in ci.nix

commit4d8603afcd14e73be6f9355b2f2e2c209ce9d423 authorMoritz Angermann <moritz.angermann@gmail.com> dateWed 6 Nov 2019, 18:41 (7 years ago) parent5393c50
2 files changed+30−4
ci.nix+9−4 examples/plutus-args.nix+21
ci.nix+9−4
@@ -78,9 +78,12 @@ in
7878 (lib.filterAttrs (k: _: builtins.elem k cardano-wallet-args.pkgs)
7979 (haskell-nix.stackProject cardano-wallet-args));
8080 plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-linux"; }));
81− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
81+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
82+ (haskell-nix.stackProject plutus-args));
8283 x86_64-pc-mingw32-plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-linux"; crossSystem.config = "x86_64-pc-mingw32"; }));
83− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
84+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
85+ (haskell-nix.stackProject plutus-args));
86+
8487 };
8588 x86_64-darwin = {
8689 # cardano-sl
@@ -99,9 +102,11 @@ in
99102 (lib.filterAttrs (k: _: builtins.elem k cardano-wallet-args.pkgs)
100103 (haskell-nix.stackProject cardano-wallet-args));
101104 plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-darwin"; }));
102− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
105+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
106+ (haskell-nix.stackProject plutus-args));
103107 x86_64-pc-mingw32-plutus = with (import nixpkgsSrc (haskellNixArgs // { system = "x86_64-darwin"; crossSystem.config = "x86_64-pc-mingw32"; }));
104− (haskell-nix.stackProject plutus-args).language-plutus-core.components.all;
108+ (lib.filterAttrs (k: _: builtins.elem k plutus-args.pkgs)
109+ (haskell-nix.stackProject plutus-args));
105110 };
106111 };
107112
examples/plutus-args.nix+21
@@ -1,6 +1,27 @@
11let iohk-archive = name: hash: "https://github.com/input-output-hk/${name}/archive/${hash}.tar.gz";
22in rec {
33 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+ ];
425 cache = [
526 { name = "row-types";
627 url = "https://github.com/target/row-types";