Revision 843ee3e0ff197e366fa8d5bdd22e53978d739f84 authored by Anish Tondwalkar on 31 May 2019, 08:20:30 UTC, committed by Anish Tondwalkar on 31 May 2019, 08:20:30 UTC
1 parent e06d483
shell.nix
{ nixpkgs ? import <nixpkgs> {}, compiler ? "default" }:
let
inherit (nixpkgs) pkgs;
f = import ./default.nix { inherit (pkgs) fetchgitLocal; };
haskellPackages = if compiler == "default"
then pkgs.haskellPackages
else pkgs.haskell.packages.${compiler};
drv = haskellPackages.callPackage f { inherit (pkgs) z3; };
in
if pkgs.lib.inNixShell then drv.env else drv
Computing file changes ...