Unverified Commit a84b0a7c authored by dotlambda's avatar dotlambda Committed by GitHub
Browse files

boolector: 3.2.3 -> 3.2.4 (#457033)

parents 5422a3b6 e28e786c

pkgs/by-name/bo/boolector/package.nix

+6 −11
Original line number Diff line number Diff line
@@ -3,7 +3,6 @@ 
  fetchFromGitHub,

  lib,

  python3,

  fetchpatch,

  cmake,

  lingeling,

  btor2tools,
@@ -13,23 +12,19 @@ 


stdenv.mkDerivation rec {

  pname = "boolector";

  version = "3.2.3";

  version = "3.2.4";



  src = fetchFromGitHub {

    owner = "boolector";

    repo = "boolector";

    tag = version;

    hash = "sha256-CdfpXUbU1+yEmrNyl+hvHlJfpzzzx356naim6vRafDg=";

    hash = "sha256-CKhaPaWUB6Fz0LfnCl81LVmTebCWzTvZLKeC0KH3by4=";

  };



  patches = [

    # present in master - remove after 3.2.3

    (fetchpatch {

      name = "update-unit-tests-to-cpp-14.patch";

      url = "https://github.com/Boolector/boolector/commit/cc13f371c0c5093d98638ddd213dc835ef3aadf3.patch";

      hash = "sha256-h8DBhAvUu+wXBwmvwRhHnJv3XrbEpBpvX9D1FI/+avc=";

    })

  ];

  postPatch = ''

    substituteInPlace CMakeLists.txt \

      --replace-fail "cmake_minimum_required(VERSION 3.3)" "cmake_minimum_required(VERSION 3.10)"

  '';



  nativeBuildInputs = [

    cmake