project(installation): provide a default shell for `aeneas`

This makes it easy to run `make build` and `make test` without figuring anything
about the dependencies.

Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>

1 files changed, 9 insertions, 0 deletions

diff --git a/flake.nix b/flake.nix
index 32898765..72c4fd99 100644
--- a/flake.nix
+++ b/flake.nix
@@ -152,6 +152,15 @@
           inherit aeneas;
           default = aeneas;
         };
+        devShells.default = pkgs.mkShell {
+          packages = [
+            pkgs.ocamlPackages.odoc
+          ];
+
+          inputsFrom = [
+            self.packages.${system}.aeneas
+          ];
+        };
         checks = {
           inherit aeneas aeneas-tests
                   aeneas-verify-fstar