Merge pull request #327 from NNPDF/nix

Nix
NNPDF · Nov 22, 2023 · 8372ec3 · 8372ec3
2 parents 7ac7f9c + 13d5ac1
commit 8372ec3
Show file tree

Hide file tree

Showing 4 changed files with 395 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
@@ -160,3 +160,4 @@ validation-report.json
 
 # Folders to ignore
 node_modules
+.devenv
diff --git a/flake.lock b/flake.lock
Original file line number	Diff line number	Diff line change
Expand Up		@@ -160,3 +160,4 @@ validation-report.json

		# Folders to ignore
		node_modules
		.devenv