From 33e52e07bad4adde3b9e0478b26e3a48d359b617 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 22 Jan 2022 16:16:34 +0100
Subject: isabelle: allow bringing one's own nixpkgs

---
 isabelle-nix-fhsenv/default.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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";
-- 
cgit v1.2.3