Skip to content

Commit

Permalink
Update ci.nix
Browse files Browse the repository at this point in the history
  • Loading branch information
dk14 committed Jul 1, 2020
1 parent bd3d920 commit a27c8be
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions ci.nix
Expand Up @@ -2,13 +2,17 @@ builtins.mapAttrs (k: _v:
let
url = "https://github.com/NixOS/nixpkgs/archive/2255f292063ccbe184ff8f9b35ce475c04d5ae69.tar.gz";
pkgs = import (builtins.fetchTarball url) { system = k; };
haskellNix = import (builtins.fetchTarball "https://github.com/input-output-hk/haskell.nix/archive/master.tar.gz") {};
haskellNixPkgs = import haskellNix.sources.nixpkgs-2003 haskellNix.nixpkgsArgs;
isabelleNix = import ./isabelle.nix;
in
pkgs.recurseIntoAttrs {
testIsabelle = isabelleNix.isabelleTest;
testHaskell = pkgs.haskell.lib.buildStackProject {
name = "marlowe";
src = ./.;
testHaskell = pkgs.haskell-nix.project {
src = pkgs.haskell-nix.haskellLib.cleanGit {
name = "marlowe";
src = ./.;
};
};
}
) {
Expand Down

0 comments on commit a27c8be

Please sign in to comment.