Add dolos overlay

dodona-edu · Jul 17, 2024 · 4121450 · 4121450
1 parent d3b7db4
commit 4121450
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -40,6 +40,9 @@
         default = dolos-cli;
         dolos-cli = pkgs.callPackage (import ./package.nix) {};
       };
+      overlays.default = final: prev: {
+        dolos-cli = final.callPackage (import ./package.nix) {};
+      };
       checks = rec {
         default = dolos-cli;
         dolos-cli = pkgs.runCommand "check-dolos-cli" {} ''