From 9e50b13bedaea956b423d5fe1499ab1cb87b01aa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= <fdupress@gmail.com>
Date: Tue, 12 Sep 2023 16:47:57 +0100
Subject: [PATCH] add emacs-shaped gap to shell.nix

---
 shell.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/shell.nix b/shell.nix
index fe36b57..84000b5 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,4 +1,5 @@
-{ ecpath ? easycrypt/default.nix }:
+{ ecpath ? easycrypt/default.nix,
+  devDeps ? [ ] }:
 
 with import <nixpkgs> {};
 
@@ -7,6 +8,7 @@ in
 
 pkgs.mkShell {
   buildInputs = [ ec ]
+  ++ devDeps
   ++ ec.propagatedBuildInputs
   ++ (with python3Packages; [ pyyaml ]);
 }