ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-19 02:44:17 +03:00
Code Issues Projects Releases Wiki Activity

isabelle: fix build on MacOS

Browse Source
This commit is contained in:
Jan van Brügge 2022-12-06 15:55:35 +00:00
parent 26c369214e
commit 698c7342b7
No known key found for this signature in database
GPG Key ID: 88E0BF7B7A546481
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -69,13 +69,14 @@ in stdenv.mkDerivation (finalAttrs: rec {
buildInputs = [ polyml veriT vampire eprover-ho nettools ]
++ lib.optionals (!stdenv.isDarwin) [ java ];
sourceRoot = dirname;
sourceRoot = "${dirname}${lib.optionalString stdenv.isDarwin ".app"}";
doCheck = true;
checkPhase = "bin/isabelle build -v HOL-SMT_Examples";
postUnpack = lib.optionalString stdenv.isDarwin ''
mv $sourceRoot.app $sourceRoot
mv $sourceRoot ${dirname}
sourceRoot=${dirname}
'';
postPatch = ''