cbmc: fix eval

f3c863877b dropped apple-sdk < 11 and now darwin aarch64/x66 use sdk 11.3 making the sdk override unnecessary.
2024-11-26 17:08:02 +00:00
parent 48e92e6898
commit 09dbf4e51d
1 changed files with 1 additions and 11 deletions
@@ -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