Commit de5233cf authored by Sergei Trofimovich's avatar Sergei Trofimovich
Browse files

givaro: backport gcc-13 build fix 

Without the change `givaro` build on `gcc-13` fails as:

    /givaro/givdegree.h:42:33: error: 'uint64_t' does not name a type
      42 |         Degree operator*( const uint64_t& e) const { return Degree(_deg*e); }
         |                                 ^~~~~~~~
    /givaro/givdegree.h:23:1: note: 'uint64_t' is defined in header '<cstdint>'; this is probably fixable by adding '#include <cstdint>'
      22 | #include <iostream>
     +++ |+#include <cstdint>
parent 4cee14d1

pkgs/development/libraries/givaro/default.nix

+19 −1
Original line number Diff line number Diff line 
{ lib, stdenv, fetchFromGitHub, automake, autoconf, libtool, autoreconfHook, gmpxx }:

{ lib

, stdenv

, fetchFromGitHub

, fetchpatch

, automake

, autoconf

, libtool

, autoreconfHook

, gmpxx

}:

stdenv.mkDerivation rec {

  pname = "givaro";

  version = "4.2.0";
@@ -8,6 +17,15 @@ stdenv.mkDerivation rec { 
    rev = "v${version}";

    sha256 = "sha256-KR0WJc0CSvaBnPRott4hQJhWNBb/Wi6MIhcTExtVobQ=";

  };

  patches = [

    # Pull upstream fix for gcc-13:

    #   https://github.com/linbox-team/givaro/pull/218

    (fetchpatch {

      name = "gcc-13.patch";

      url = "https://github.com/linbox-team/givaro/commit/c7744bb133496cd7ac04688f345646d505e1bf52.patch";

      hash = "sha256-aAA5o8Va10v0Pqgcpx7qM0TAZiNQgXoR6N9xecj7tDA=";

    })

  ];



  enableParallelBuilding = true;