summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--flake.nix7
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
];