summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkshay <[email protected]>2021-08-10 16:54:15 +0100
committerAkshay <[email protected]>2021-08-10 16:54:15 +0100
commit904e52663bcc2953fdac8706752e928f5ed0cecd (patch)
tree91d8399fbca61e0358d5faf4468d25af1f056be1
parent08e90070acd6b00ad970caf5c0a2f36c9ea07a5c (diff)
devshell messes up dune utopmain
-rw-r--r--flake.nix13
1 files changed, 3 insertions, 10 deletions
diff --git a/flake.nix b/flake.nix
index f889c15..e49248a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -11,7 +11,9 @@
11 pkgs = nixpkgs.legacyPackages."${system}"; 11 pkgs = nixpkgs.legacyPackages."${system}";
12 12
13 buildInputs = with pkgs.ocamlPackages; [ 13 buildInputs = with pkgs.ocamlPackages; [
14 utop # required for dune utop 14 utop
15 pkgs.nixUnstable
16 pkgs.fswatch
15 ]; 17 ];
16 18
17 in 19 in
@@ -22,14 +24,5 @@
22 useDune2 = true; 24 useDune2 = true;
23 src = ./.; 25 src = ./.;
24 }; 26 };
25 devShell = mkShell {
26 buildInputs = with ocamlPackages; [
27 ocaml
28 pkgs.dune_2
29 utop
30 pkgs.nixUnstable
31 fswatch
32 ];
33 };
34 }); 27 });
35} 28}