public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lean: add wrapper for linja

Browse Source
This commit is contained in:
Gabriel Ebner 2016-01-17 09:29:18 +01:00
parent 36c430de12
commit 8a26d9b84f
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/lean/default.nix
View File

@ -1,5 +1,5 @@
{ stdenv, fetchFromGitHub, cmake, gmp, mpfr, luajit, boost, python { stdenv, fetchFromGitHub, cmake, gmp, mpfr, luajit, boost, python
, gperftools, ninja }: , gperftools, ninja, makeWrapper }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "lean-${version}"; name = "lean-${version}";
@ -12,7 +12,7 @@ stdenv.mkDerivation rec {
sha256 = "1gr024bly92kdjky5qvcm96gn86ijakziiyrsz91h643n1iyxhms"; sha256 = "1gr024bly92kdjky5qvcm96gn86ijakziiyrsz91h643n1iyxhms";
}; };
buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja ]; buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja makeWrapper ];
enableParallelBuilding = true; enableParallelBuilding = true;
preConfigure = '' preConfigure = ''
@ -22,6 +22,10 @@ stdenv.mkDerivation rec {
cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ]; cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ];
postInstall = ''
wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin
'';
meta = { meta = {
description = "Automatic and interactive theorem prover"; description = "Automatic and interactive theorem prover";
homepage = "http://leanprover.github.io"; homepage = "http://leanprover.github.io";