From e63ab75cb925ca21ccdc067973b6b5081ef893c9 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 9 Jan 2021 23:07:55 +0100
Subject: [PATCH] fix: Nix: executable

---
 nix/buildLeanPackage.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/buildLeanPackage.nix b/nix/buildLeanPackage.nix
index 7647056241..d607e474c7 100644
--- a/nix/buildLeanPackage.nix
+++ b/nix/buildLeanPackage.nix
@@ -131,7 +131,7 @@ in rec {
     mkdir $out
     ar Trcs $out/lib${name}.a ${lib.concatStringsSep " " (map (drv: "${drv}/${drv.oPath}") (attrValues objects))}
   '';
-  executable = runCommand executableName {} ''
+  executable = runCommand executableName { buildInputs = [ stdenv.cc ]; } ''
     mkdir -p $out/bin
     ${leanc}/bin/leanc -x none ${staticLib}/* -o $out/bin/${executableName}
   '';