Commit 6eb20357 authored by Guillaume Girol's avatar Guillaume Girol
Browse files

bitwuzla: provide optional dep aiger

parent 86bb270c

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

+3 −0
Original line number Diff line number Diff line
@@ -17,6 +17,7 @@ 
  zlib,

  pkg-config,

  cmake,

  aiger,

}:



stdenv.mkDerivation (finalAttrs: {
@@ -69,6 +70,7 @@ stdenv.mkDerivation (finalAttrs: { 
    gmp

    zlib

    kissat

    aiger

  ];



  mesonFlags = [
@@ -77,6 +79,7 @@ stdenv.mkDerivation (finalAttrs: { 
    "-Ddefault_library=shared"

    "-Dcryptominisat=true"

    "-Dkissat=true"

    "-Daiger=true"



    (lib.strings.mesonEnable "testing" finalAttrs.finalPackage.doCheck)

  ];