diff options
author | Gabriel Ebner <gebner@gebner.org> | 2016-01-17 09:29:18 +0100 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2016-01-17 09:29:18 +0100 |
commit | 8a26d9b84f566b5ead7744f425f4e5f41865a060 (patch) | |
tree | 4f340d3cbb2d02dab238fef679e623d99a4bcf95 /pkgs/applications/science/logic/lean | |
parent | 36c430de12ed21d407a13c6922268cf17bc73368 (diff) | |
download | nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.tar nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.tar.gz nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.tar.bz2 nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.tar.lz nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.tar.xz nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.tar.zst nixlib-8a26d9b84f566b5ead7744f425f4e5f41865a060.zip |
lean: add wrapper for linja
Diffstat (limited to 'pkgs/applications/science/logic/lean')
-rw-r--r-- | pkgs/applications/science/logic/lean/default.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix index 995c43efe3ba..92c306c40827 100644 --- a/pkgs/applications/science/logic/lean/default.nix +++ b/pkgs/applications/science/logic/lean/default.nix @@ -1,5 +1,5 @@ { stdenv, fetchFromGitHub, cmake, gmp, mpfr, luajit, boost, python -, gperftools, ninja }: +, gperftools, ninja, makeWrapper }: stdenv.mkDerivation rec { name = "lean-${version}"; @@ -12,7 +12,7 @@ stdenv.mkDerivation rec { sha256 = "1gr024bly92kdjky5qvcm96gn86ijakziiyrsz91h643n1iyxhms"; }; - buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja ]; + buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja makeWrapper ]; enableParallelBuilding = true; preConfigure = '' @@ -22,6 +22,10 @@ stdenv.mkDerivation rec { cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ]; + postInstall = '' + wrapProgram $out/bin/linja --prefix PATH : $out/bin:${ninja}/bin + ''; + meta = { description = "Automatic and interactive theorem prover"; homepage = "http://leanprover.github.io"; |