From 4e2205ade1a91d837ca03f3c0af56c76932a70ad Mon Sep 17 00:00:00 2001
From: MERCIER Michael <michael.mercier@inria.fr>
Date: Tue, 26 Feb 2019 14:07:05 +0100
Subject: [PATCH] [nix] fix path of src

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 14551fd..1f4f120 100644
--- a/default.nix
+++ b/default.nix
@@ -8,7 +8,7 @@ with kapack;
 
 (batsched_dev.override {}).overrideAttrs (attrs: rec {
     name = "batsched-1.4.0-nix-local";
-    src = ../.;
+    src = ./.;
     enableParallelBuilding = true;
     doCheck = false;
     dontStrip = true;
-- 
GitLab