Add nix files

NNPDF · Oct 12, 2023 · 272208e · 272208e
1 parent c756b4c
commit 272208e
Show file tree

Hide file tree

Showing 4 changed files with 434 additions and 0 deletions.
diff --git a/.envrc b/.envrc
@@ -0,0 +1,11 @@
+if ! has nix_direnv_version || ! nix_direnv_version 2.2.1; then
+  source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/2.2.1/direnvrc" "sha256-zelF0vLbEl5uaqrfIzbgNzJWGmLzCmYAkInj/LNxvKs="
+fi
+
+nix_direnv_watch_file devenv.nix
+nix_direnv_watch_file devenv.lock
+nix_direnv_watch_file devenv.yaml
+if ! use flake . --impure
+then
+  echo "devenv could not be built. The devenv environment was not loaded. Make the necessary changes to devenv.nix and hit enter to try again." >&2
+fi
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 .gdb_history
 /target
 
+.devenv/
+
 .vscode
diff --git a/flake.lock b/flake.lock