feat(nix): add .envrc files

cryspen · Jan 18, 2024 · c8198a0 · c8198a0
1 parent 6301d94
commit c8198a0
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,7 +3,6 @@ target/
 **/*.rs.bk
 node_modules
 TODO.org
-.envrc
 .direnv
 _build
 result

diff --git a/examples/.envrc b/examples/.envrc
@@ -0,0 +1 @@
+use flake .#fstar
diff --git a/examples/README.md b/examples/README.md
@@ -13,7 +13,7 @@
 
   First, make sure to have hax installed in PATH. Then:
 
-  * With Nix, `nix develop .#fstar-examples` setups a shell automatically for you.
+  * With Nix, `nix develop .#fstar` setups a shell automatically for you.
 
   * Without Nix:
     1. install F* `v2023.09.03` manually (see https://github.com/FStarLang/FStar/blob/master/INSTALL.md);

diff --git a/flake.nix b/flake.nix
@@ -116,7 +116,7 @@
           ];
           LIBCLANG_PATH = "${pkgs.llvmPackages.libclang.lib}/lib";
         in {
-          fstar-examples = pkgs.mkShell {
+          fstar = pkgs.mkShell {
             inherit inputsFrom LIBCLANG_PATH;
             HACL_HOME = "${hacl-star}";
             packages = packages ++ [fstar];

diff --git a/proof-libs/fstar/.envrc b/proof-libs/fstar/.envrc
@@ -0,0 +1 @@
+use flake .#fstar
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,7 +3,6 @@ target/ @@
     **/*.rs.bk
     node_modules
     TODO.org
-    .envrc
     .direnv
     _build
     result
@@ Expand Down @@