summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2022-01-22 16:16:34 +0100
committerstuebinm2022-01-22 16:16:34 +0100
commit33e52e07bad4adde3b9e0478b26e3a48d359b617 (patch)
tree197563f4841b123d0d3e002a5eaead16515fb813
parentd6ee1209ce08103dd2b8294c9399d628d1394f9e (diff)
isabelle: allow bringing one's own nixpkgs
-rw-r--r--isabelle-nix-fhsenv/default.nix3
1 files changed, 2 insertions, 1 deletions
diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix
index d4e3b9e..b4f5e12 100644
--- a/isabelle-nix-fhsenv/default.nix
+++ b/isabelle-nix-fhsenv/default.nix
@@ -1,5 +1,6 @@
-with import <nixpkgs> { };
+{ pkgs ? import <nixpkgs> { } }:
+with pkgs;
let
isabelle = stdenv.mkDerivation {
pname = "isabelle-unpatched";