nix: Create a flake.nix file

This is currently an experimental Nix feature. However, it's already widely used so it makes sense to offer such a standardized interface.
VariantSync · Apr 17, 2024 · fa495e3 · fa495e3
1 parent ba2a8f0
commit fa495e3
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -0,0 +1,12 @@
+{
+  outputs = inputs: let
+    EVPL = import inputs.self {system = "x86_64-linux";};
+  in {
+    packages.x86_64-linux.default = EVPL;
+    overlays.default = final: prev: {
+      agdaPackages = prev.agdaPackages.overrideScope' (self: super: {
+        inherit EVPL;
+      });
+    };
+  };
+}