@@ -1,4 +1,4 @@
1−{ lib, stdenv, fetchurl, nettools, java, polyml, z3, veriT, vampire, eprover-ho, rlwrap, makeDesktopItem }:
1+{ lib, stdenv, fetchurl, coreutils, nettools, java, polyml, z3, veriT, vampire, eprover-ho, rlwrap, makeDesktopItem }:
22# nettools needed for hostname
33
44stdenv.mkDerivation rec {
@@ -73,6 +73,11 @@ stdenv.mkDerivation rec {
7373 for comp in contrib/jdk* contrib/polyml-* contrib/z3-* contrib/verit-* contrib/vampire-* contrib/e-*; do
7474 rm -rf $comp/x86*
7575 done
76+
77+ substituteInPlace lib/Tools/env \
78+ --replace /usr/bin/env ${coreutils}/bin/env
79+
80+ rm -r heaps
7681 '' + (if ! stdenv.isLinux then "" else ''
7782 arch=${if stdenv.hostPlatform.system == "x86_64-linux" then "x86_64-linux" else "x86-linux"}
7883 for f in contrib/*/$arch/{bash_process,epclextract,nunchaku,SPASS,zipperposition}; do
@@ -83,6 +88,11 @@ stdenv.mkDerivation rec {
8388 done
8489 '');
8590
91+ buildPhase = ''
92+ export HOME=$TMP # The build fails if home is not set
93+ bin/isabelle build -v -o system_heaps -b HOL
94+ '';
95+
8696 installPhase = ''
8797 mkdir -p $out/bin
8898 mv $TMP/$dirname $out
@@ -117,7 +127,7 @@ stdenv.mkDerivation rec {
117127 '';
118128 homepage = "https://isabelle.in.tum.de/";
119129 license = licenses.bsd3;
120− maintainers = [ maintainers.jwiegley ];
130+ maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ];
121131 platforms = platforms.linux;
122132 };
123133}