Initialize repository

1 files changed, 21 insertions, 0 deletions

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 0000000..464969d
--- /dev/null
+++ b/shell.nix
@@ -0,0 +1,21 @@
+{ pkgs ? import ./nixpkgs-pinned.nix {} }:
+let ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_14; in
+pkgs.mkShell {
+  inputsFrom = [ (import ./coverage.nix { inherit pkgs; }) ];
+  buildInputs = with pkgs; [
+    bash
+    cloc
+    git
+    jq
+    tree
+    (python3.withPackages (pkgs: [ pkgs.pygments ]))
+    coqPackages_8_20.coq
+    coqPackages_8_20.coq-lsp
+    coqPackages_8_20.vscoq-language-server
+    ocamlPackages.ocaml-lsp
+    ocamlPackages.ocamlformat
+    ocamlPackages.odoc
+    ocamlPackages.utop
+    ocamlPackages.merlin
+  ];
+}