diff options
| author | stuebinm | 2022-01-22 16:16:34 +0100 |
|---|---|---|
| committer | stuebinm | 2022-01-22 16:16:34 +0100 |
| commit | 33e52e07bad4adde3b9e0478b26e3a48d359b617 (patch) | |
| tree | 197563f4841b123d0d3e002a5eaead16515fb813 | |
| parent | d6ee1209ce08103dd2b8294c9399d628d1394f9e (diff) | |
isabelle: allow bringing one's own nixpkgs
Diffstat (limited to '')
| -rw-r--r-- | isabelle-nix-fhsenv/default.nix | 3 |
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"; |