Merge pull request #115 from AeneasVerif/nix

Update flake.nix

1 files changed, 7 insertions, 0 deletions

diff --git a/flake.nix b/flake.nix
index 72c4fd99..36910f45 100644
--- a/flake.nix
+++ b/flake.nix
@@ -153,7 +153,14 @@
           default = aeneas;
         };
         devShells.default = pkgs.mkShell {
+          # By default, tests run some sanity checks which are pretty slow.
+          # This disables these checks when developping locally.
+          OPTIONS = "";
+
           packages = [
+            pkgs.ocamlPackages.ocaml
+            pkgs.ocamlPackages.ocamlformat
+            pkgs.ocamlPackages.menhir
             pkgs.ocamlPackages.odoc
           ];