Revision d4c6f6f15c1b33773937e952c68e24a6bd6d279e authored by Anish Tondwalkar on 08 November 2019, 23:31:48 UTC, committed by Anish Tondwalkar on 08 November 2019, 23:31:48 UTC
1 parent 1fc8b1d
Raw File
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
back to top