cornelis: init at 0.2.0.0

2024-05-15 18:07:18 +03:00
parent 8be493adf2
commit 465ae2d599
1 changed files with 27 additions and 0 deletions
@@ -0,0 +1,27 @@
+{
+  lib,
+  haskell,
+  haskellPackages,
+
+  # Test dependencies
+  cornelis,
+  runCommand,
+}:
+let
+  inherit (haskell.lib.compose) overrideCabal justStaticExecutables;
+  overrides = {
+    description = "agda-mode for Neovim";
+
+    passthru = {
+      tests = runCommand "cornelis-tests" { nativeBuildInputs = [ cornelis ]; } ''
+        cornelis --help > $out
+      '';
+    };
+  };
+in
+lib.pipe haskellPackages.cornelis [
+  (overrideCabal overrides)
+
+  # Reduce closure size
+  justStaticExecutables
+]