Unverified Commit ef8e2dec authored by Matt Sturgeon's avatar Matt Sturgeon Committed by GitHub
Browse files

bitwuzla: move override into package.nix (#485692)

parents ba122dfb 4c848c75

pkgs/by-name/bi/bitwuzla/package.nix

+4 −2
Original line number Diff line number Diff line
@@ -11,6 +11,7 @@ 
  gtest,

  gmp,

  cadical,

  cadical' ? cadical.override { version = "2.1.3"; },

  cryptominisat,

  kissat,

  zlib,
@@ -26,11 +27,12 @@ stdenv.mkDerivation (finalAttrs: { 
  src = fetchFromGitHub {

    owner = "bitwuzla";

    repo = "bitwuzla";

    rev = finalAttrs.version;

    tag = finalAttrs.version;

    hash = "sha256-v5r+BWXUUbKtkos6qmGMC9MMytS/h759SHY6lsTHU1k=";

  };



  strictDeps = true;

  __structuredAttrs = true;



  nativeBuildInputs = [

    meson
@@ -41,7 +43,7 @@ stdenv.mkDerivation (finalAttrs: { 
  ];



  buildInputs = [

    cadical

    cadical'

    cryptominisat

    btor2tools

    symfpu

pkgs/top-level/all-packages.nix

+0 −4
Original line number Diff line number Diff line
@@ -12335,10 +12335,6 @@ with pkgs; 
    ocamlPackages = ocaml-ng.ocamlPackages_4_12;

  };



  bitwuzla = callPackage ../by-name/bi/bitwuzla/package.nix {

    cadical = cadical.override { version = "2.1.3"; };

  };



  inherit

    (callPackage ./rocq-packages.nix {

      inherit (ocaml-ng)