Commit d22cf684 authored by Sergei Zimmerman's avatar Sergei Zimmerman
Browse files

cbmc: drop unused cadical from build inputs 

This is cruft left over from <https://www.github.com/NixOS/nixpkgs/pull/355122>,
which got rid of the patch to use compiled cadical instead of building from source.
parent 35a8e310

pkgs/by-name/cb/cbmc/package.nix

+0 −5
Original line number Diff line number Diff line
@@ -46,10 +46,6 @@ stdenv.mkDerivation (finalAttrs: { 
    makeWrapper

  ];



  buildInputs = [ cadical ];



  # do not download sources

  # link existing cadical instead

  patches = [

    (substituteAll {

      src = ./0001-Do-not-download-sources-in-cmake.patch;
@@ -104,7 +100,6 @@ stdenv.mkDerivation (finalAttrs: { 
  cmakeFlags = [

    "-DWITH_JBMC=OFF"

    "-Dsat_impl=cadical"

    "-Dcadical_INCLUDE_DIR=${cadical.dev}/include"

  ];



  passthru.tests.version = testers.testVersion {