Unverified Commit ece97837 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

cvc5: 1.3.2 → 1.3.3; libpoly: 0.2.0 → 0.2.1 (#499776)

parents d560f32e 23864ebb

pkgs/by-name/cv/cvc5/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -18,13 +18,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "cvc5";

  version = "1.3.2";

  version = "1.3.3";



  src = fetchFromGitHub {

    owner = "cvc5";

    repo = "cvc5";

    tag = "cvc5-${finalAttrs.version}";

    hash = "sha256-Um1x+XgQ5yWSoqtx1ZWbVAnNET2C4GVasIbn0eNfico=";

    hash = "sha256-tXhOMrf/sZwEZFWB2Amp9lApWEsfuPqaj9H7RmI733o=";

  };



  __structuredAttrs = true;

pkgs/by-name/is/isabelle/package.nix

+17 −9
Original line number Diff line number Diff line
@@ -13,6 +13,7 @@ 
  vampire,

  eprover-ho,

  cvc5,

  libpoly,

  csdp,

  rlwrap,

  perl,
@@ -102,7 +103,14 @@ let 
    '';

  };



  cvc5' = cvc5.overrideAttrs {

  cvc5' =

    (cvc5.override {

      libpoly = libpoly.overrideAttrs {

        version = "0.2.0";

        __intentionallyOverridingVersion = true;

      };

    }).overrideAttrs

      {

        version = "1.2.0";

        src = fetchFromGitHub {

          owner = "cvc5";

pkgs/by-name/li/libpoly/package.nix

+11 −4
Original line number Diff line number Diff line
@@ -9,14 +9,19 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "libpoly";

  version = "0.2.0";

  version = "0.2.1";



  src = fetchFromGitHub {

    owner = "SRI-CSL";

    repo = "libpoly";

    # they've pushed to the release branch, use explicit tag

    tag = "v${finalAttrs.version}";

    sha256 = "sha256-gE2O1YfiVab/aIqheoMP8GhE+N3yho7kb5EP56pzjW8=";

    hash =

      {

        "0.2.1" = "sha256-uDWDio+RzJrgGKbWfT6S6voaJrJR0PzPfyr+33dr0ds=";

        "0.2.0" = "sha256-gE2O1YfiVab/aIqheoMP8GhE+N3yho7kb5EP56pzjW8=";

      }

      ."${finalAttrs.version}";

  };



  postPatch = ''
@@ -24,11 +29,13 @@ stdenv.mkDerivation (finalAttrs: { 
      --replace-warn " -Werror " " "

  '';



  nativeBuildInputs = [ cmake ];

  nativeBuildInputs = [

    cmake

    python3

  ];



  buildInputs = [

    gmp

    python3

  ];



  strictDeps = true;