From dfd8f84aef129f1978e446b5d45ef05cd4421821 Mon Sep 17 00:00:00 2001
From: Matthias Beyer <mail@beyermatthias.de>
Date: Sat, 20 Apr 2019 03:42:08 +0200
Subject: [PATCH] python3Packages.jupyterlab: Fix build

The build was broken by updating the underlying python library.
This is the quickfix.

Fixes: ca67a7200cf ("python37Packages.jupyterlab_server: 0.2.0 -> 0.3.0")
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
---
 pkgs/development/python-modules/jupyterlab/default.nix | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/pkgs/development/python-modules/jupyterlab/default.nix b/pkgs/development/python-modules/jupyterlab/default.nix
index e13c9f97d9f3..6d9d2a6b309f 100644
--- a/pkgs/development/python-modules/jupyterlab/default.nix
+++ b/pkgs/development/python-modules/jupyterlab/default.nix
@@ -4,6 +4,7 @@
 , jupyterlab_server
 , notebook
 , pythonOlder
+, fetchpatch
 }:
 
 buildPythonPackage rec {
@@ -22,6 +23,14 @@ buildPythonPackage rec {
     "--set" "JUPYTERLAB_DIR" "$out/share/jupyter/lab"
   ];
 
+  patches = [
+    (fetchpatch {
+      name = "bump-jupyterlab_server-version";
+      url = https://github.com/jupyterlab/jupyterlab/commit/3b8d451e6f9a4c609e60cde5fbb3cc84aae79951.patch;
+      sha256 = "08vv6rp1k5fbmvj4v9x1d9zb6ymm9pv8ml80j7p45r9fay34rndf";
+    })
+  ];
+
   # Depends on npm
   doCheck = false;