From 09dbf4e51d17dd00ddb83ba23af34f769eedc24f Mon Sep 17 00:00:00 2001
From: Reno Dakota <paparodeo@proton.me>
Date: Tue, 26 Nov 2024 17:08:02 +0000
Subject: [PATCH] cbmc: fix eval

f3c863877b175288ec45ea78c1e041610a9b135e dropped apple-sdk < 11 and now
darwin aarch64/x66 use sdk 11.3 making the sdk override unnecessary.
---
 pkgs/by-name/cb/cbmc/package.nix | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/pkgs/by-name/cb/cbmc/package.nix b/pkgs/by-name/cb/cbmc/package.nix
index fb360095c7bc..7a5ddce33511 100644
--- a/pkgs/by-name/cb/cbmc/package.nix
+++ b/pkgs/by-name/cb/cbmc/package.nix
@@ -15,9 +15,6 @@
   cudd,
   fetchurl,
   nix-update-script,
-  apple-sdk,
-  apple-sdk_10_15,
-  darwinMinVersionHook,
 }:
 
 stdenv.mkDerivation (finalAttrs: {
@@ -51,14 +48,7 @@ stdenv.mkDerivation (finalAttrs: {
     makeWrapper
   ];
 
-  buildInputs =
-    [ cadical ]
-    ++ lib.optionals stdenv.hostPlatform.isDarwin [
-      (darwinMinVersionHook "10.15")
-    ]
-    ++ lib.optionals (stdenv.hostPlatform.isDarwin && lib.versionOlder apple-sdk.version "10.15") [
-      apple-sdk_10_15
-    ];
+  buildInputs = [ cadical ];
 
   # do not download sources
   # link existing cadical instead