From 465ae2d5992534eeac1d90cda289271ab81c97b8 Mon Sep 17 00:00:00 2001
From: Philipp Joram <nixpkgs@phijor.me>
Date: Wed, 10 Apr 2024 15:57:25 +0300
Subject: [PATCH] cornelis: init at 0.2.0.0

---
 pkgs/by-name/co/cornelis/package.nix | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 pkgs/by-name/co/cornelis/package.nix

diff --git a/pkgs/by-name/co/cornelis/package.nix b/pkgs/by-name/co/cornelis/package.nix
new file mode 100644
index 000000000000..0ad61b511347
--- /dev/null
+++ b/pkgs/by-name/co/cornelis/package.nix
@@ -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
+]