max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: Nix: executable

Browse source
This commit is contained in:
Sebastian Ullrich 2021-01-09 23:07:55 +01:00
parent 4b7f09fbf1
commit e63ab75cb9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nix/buildLeanPackage.nix
View file

@ -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}
'';