add emacs-shaped gap to shell.nix

formosa-crypto · Sep 12, 2023 · 9e50b13 · 9e50b13
1 parent 1a28e61
commit 9e50b13
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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 ]);
 }