1 files changed, 8 insertions, 8 deletions
diff --git a/pkgs/by-name/is/isabelle/package.nix b/pkgs/by-name/is/isabelle/package.nix
index 3adf58f467a3e..1012d06542ecc 100644
--- a/pkgs/by-name/is/isabelle/package.nix
+++ b/pkgs/by-name/is/isabelle/package.nix
@@ -30,7 +30,7 @@ let
       hash = "sha256-DB/ETVZhbT82IMZA97TmHG6gJcGpFavxDKDTwPzIF80=";
     };
 
-    buildPhase = (if stdenv.isDarwin then ''
+    buildPhase = (if stdenv.hostPlatform.isDarwin then ''
       LDFLAGS="-dynamic -undefined dynamic_lookup -lSystem"
     '' else ''
       LDFLAGS="-fPIC -shared"
@@ -52,7 +52,7 @@ in stdenv.mkDerivation (finalAttrs: rec {
   dirname = "Isabelle${version}";
 
   src =
-    if stdenv.isDarwin
+    if stdenv.hostPlatform.isDarwin
     then
       fetchurl
         {
@@ -74,14 +74,14 @@ in stdenv.mkDerivation (finalAttrs: rec {
   nativeBuildInputs = [ java ];
 
   buildInputs = [ polyml veriT vampire eprover-ho nettools ]
-    ++ lib.optionals (!stdenv.isDarwin) [ java procps ];
+    ++ lib.optionals (!stdenv.hostPlatform.isDarwin) [ java procps ];
 
-  sourceRoot = "${dirname}${lib.optionalString stdenv.isDarwin ".app"}";
+  sourceRoot = "${dirname}${lib.optionalString stdenv.hostPlatform.isDarwin ".app"}";
 
   doCheck = stdenv.hostPlatform.system != "aarch64-linux";
   checkPhase = "bin/isabelle build -v HOL-SMT_Examples";
 
-  postUnpack = lib.optionalString stdenv.isDarwin ''
+  postUnpack = lib.optionalString stdenv.hostPlatform.isDarwin ''
     mv $sourceRoot ${dirname}
     sourceRoot=${dirname}
   '';
@@ -144,10 +144,10 @@ in stdenv.mkDerivation (finalAttrs: rec {
   '' + lib.optionalString (stdenv.hostPlatform.system == "x86_64-darwin") ''
     substituteInPlace lib/scripts/isabelle-platform \
       --replace-fail 'ISABELLE_APPLE_PLATFORM64=arm64-darwin' ""
-  '' + lib.optionalString stdenv.isLinux ''
+  '' + lib.optionalString stdenv.hostPlatform.isLinux ''
     arch=${if stdenv.hostPlatform.system == "aarch64-linux" then "arm64-linux" else stdenv.hostPlatform.system}
     for f in contrib/*/$arch/{z3,nunchaku,spass,zipperposition}; do
-      patchelf --set-interpreter $(cat ${stdenv.cc}/nix-support/dynamic-linker) "$f"${lib.optionalString stdenv.isAarch64 " || true"}
+      patchelf --set-interpreter $(cat ${stdenv.cc}/nix-support/dynamic-linker) "$f"${lib.optionalString stdenv.hostPlatform.isAarch64 " || true"}
     done
     patchelf --set-interpreter $(cat ${stdenv.cc}/nix-support/dynamic-linker) contrib/bash_process-*/$arch/bash_process
     for d in contrib/kodkodi-*/jni/$arch; do
@@ -221,7 +221,7 @@ in stdenv.mkDerivation (finalAttrs: rec {
     license = licenses.bsd3;
     maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ];
     platforms = platforms.unix;
-    broken = stdenv.isDarwin;
+    broken = stdenv.hostPlatform.isDarwin;
   };
 
   passthru.withComponents = f: