summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.envrc1
-rw-r--r--flake.nix9
2 files changed, 10 insertions, 0 deletions
diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..3550a30f
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
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