Allow nix to manage agda

2021-08-16 22:04:03 +00:00 · 2021-08-16 22:04:03 +00:00 · c2c3cce920
commit c2c3cce920
parent 0c7bf0508a
2 changed files with 25 additions and 0 deletions
--- a/.envrc
+++ b/.envrc
@ -0,0 +1,7 @@
+use_flake() {
+    watch_file flake.nix
+    watch_file flake.lock
+    eval "$(nix print-dev-env --profile "$(direnv_layout_dir)/flake-profile")"
+}
+
+use_flake
--- a/flake.nix
+++ b/flake.nix
@ -0,0 +1,18 @@
+{
+  inputs.flake-utils.url = "github:numtide/flake-utils";
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem
+    (system:
+    let pkgs = nixpkgs.legacyPackages.${system}; in {
+      devShell =
+        pkgs.mkShell {
+          buildInputs = 
+          with pkgs; [
+            emacs
+            agda
+          ];
+        };
+    });
+}
+