diff options
Diffstat (limited to '')
-rw-r--r-- | flake.nix | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 ]; |