anchor.diff:      sha256 = "0jkmaw678njqgkflzj9g374yk1mci8yqvsxkrqzlifn6bwhwb7ci";
     };
   
  +  # excludes development artifacts from install, will be included in next release
  +  patches = [
  +    (fetchpatch {
  +      url = "https://github.com/Boolector/boolector/commit/4d240436e34e65096671099766344dd9126145b1.patch";
  +      sha256 = "1girsbvlhkkl1hldl2gsjynwc3m92jskn798qhx0ydg6whrfgcgw";
  +    })
  +  ];
  +
     postPatch = ''
       sed s@REPLACEME@file://${gtest.src}@ ${./cmake-gtest.patch} | patch -p1
     '';
  
positive.code:   cmakeFlags =
      [ "-DBUILD_SHARED_LIBS=ON"
        "-DUSE_LINGELING=YES"
        "-DBtor2Tools_INCLUDE_DIR=${btor2tools.dev}/include"
        "-DBtor2Tools_LIBRARIES=${btor2tools.lib}/lib/libbtor2parser.so"
      ] ++ (lib.optional (gmp != null) "-DUSE_GMP=YES");
  
    installPhase = ''
      mkdir -p $out/bin $lib/lib $dev/include
  
      cp -vr bin/* $out/bin
      cp -vr lib/* $lib/lib
  
      rm -rf $out/bin/{examples,tests}
      # we don't care about gtest related libs
      rm -rf $lib/lib/libg*
  
      cd ../src
      find . -iname '*.h' -exec cp --parents '{}' $dev/include \;
      rm -rf $dev/include/tests
    '';
  
    checkInputs = [ python3 ];
    doCheck = true;
    preCheck = ''
      export LD_LIBRARY_PATH=$(readlink -f lib)
      patchShebangs ..
    '';
  
    outputs = [ "out" "dev" "lib" ];
  
    meta = with stdenv.lib; {
      description = "An extremely fast SMT solver for bit-vectors and arrays";
      homepage    = "https://boolector.github.io";
      license     = licenses.mit;
      platforms   = platforms.linux;
      maintainers = with maintainers; [ thoughtpolice ];
    };
  }
  
negative.code: { stdenv, fetchFromGitHub, fetchpatch, lib, python3
  , cmake, lingeling, btor2tools, gtest, gmp
  }:
  
  