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

Merge pull request #111003 from NieDzejkob/isabelle-vampire

Browse Source 
isabelle: provide perl LWP for remote_vampire
This commit is contained in:
Sandro 2021-01-28 18:32:27 +01:00 committed by GitHub
commit e368149fcd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/isabelle/default.nix
View File

@ -1,4 +1,4 @@
{ lib, stdenv, fetchurl, perl, nettools, java, polyml, z3, rlwrap }: { lib, stdenv, fetchurl, perl, perlPackages, makeWrapper, nettools, java, polyml, z3, rlwrap }:
# nettools needed for hostname # nettools needed for hostname
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
sha256 = "1bibabhlsvf6qsjjkgxcpq3cvl1z7r8yfcgqbhbvsiv69n3gyfk3"; sha256 = "1bibabhlsvf6qsjjkgxcpq3cvl1z7r8yfcgqbhbvsiv69n3gyfk3";
}; };
buildInputs = [ perl polyml z3 ] buildInputs = [ perl polyml z3 makeWrapper ]
++ lib.optionals (!stdenv.isDarwin) [ nettools java ]; ++ lib.optionals (!stdenv.isDarwin) [ nettools java ];
sourceRoot = dirname; sourceRoot = dirname;
@ -64,6 +64,8 @@ stdenv.mkDerivation rec {
mv $TMP/$dirname $out mv $TMP/$dirname $out
cd $out/$dirname cd $out/$dirname
bin/isabelle install $out/bin bin/isabelle install $out/bin
wrapProgram $out/$dirname/src/HOL/Tools/ATP/scripts/remote_atp --set PERL5LIB ${perlPackages.makeFullPerlPath [ perlPackages.LWP ]}
''; '';
meta = with lib; { meta = with lib; {