From 56633cc7325e3b6b0462f97f39bf3d535b58044d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 8 Apr 2024 15:22:38 +0200
Subject: Update flake.nix

It was missing some dependencies, and while we're at it we can disable
sanity checks in tests.
---
 flake.nix | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'flake.nix')

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
           ];
 
-- 
cgit v1.2.3