From 1a2fc30c43210c0f48b72afdedae892dc2546ada Mon Sep 17 00:00:00 2001
From: Mynacol <Mynacol@users.noreply.github.com>
Date: Thu, 21 Mar 2024 13:57:54 +0100
Subject: [PATCH] leanify: Add simple check

Check that the executable is where it's expected and that it can be
executed. The command is expected to fail with `Map file error: Invalid argument`.
However, it returns with return value 0.
---
 pkgs/tools/misc/leanify/default.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pkgs/tools/misc/leanify/default.nix b/pkgs/tools/misc/leanify/default.nix
index 86aef217e110..f0006ff7f183 100644
--- a/pkgs/tools/misc/leanify/default.nix
+++ b/pkgs/tools/misc/leanify/default.nix
@@ -24,6 +24,14 @@ stdenv.mkDerivation rec {
 
   buildInputs = lib.optionals stdenv.isDarwin [ libiconv ];
 
+  doCheck = true;
+
+  checkPhase = ''
+    runHook preCheck
+    ./leanify /dev/null
+    runHook postCheck
+  '';
+
   installPhase = ''
     runHook preInstall