From cede3bf0cd88728441d94fb9715678eb19bc0a10 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Thu, 21 Mar 2024 17:05:02 +0100
Subject: shell(ux): enter into the default devshell via nix-direnv

This makes the switch into Aeneas' development environment "seamless" for direnv users.

https://direnv.net/
https://github.com/nix-community/nix-direnv
Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
---
 .envrc | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..3550a30f
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
-- 
cgit v1.2.3


From 884dcc071b0a62fc1634e692107c6af80aa7d352 Mon Sep 17 00:00:00 2001
From: Ryan Lahfa
Date: Thu, 21 Mar 2024 17:05:46 +0100
Subject: 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>
---
 flake.nix | 9 +++++++++
 1 file changed, 9 insertions(+)

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