nixpkgs/pkgs/misc/hdt/default.nix
Sergei Trofimovich 2777f2e458 hdt: fix gcc-13 build failure
Without the change build fails on `gcc-13` on `staging-next` as:

    src/util/StopWatch.cpp: In static member function 'static std::string StopWatch::toHuman(long long unsigned int)':
    src/util/StopWatch.cpp:166:5: error: 'uint64_t' was not declared in this scope
      166 |     uint64_t tot_secs = time/1000000;
          |     ^~~~~~~~
    src/util/StopWatch.cpp:36:1: note: 'uint64_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
       35 | #include "StopWatch.hpp"
      +++ |+#include <cstdint>
2023-12-25 23:02:07 +00:00

38 lines
1.1 KiB
Nix

{ lib, stdenv, fetchFromGitHub, fetchpatch, autoreconfHook, libtool, pkg-config, zlib, serd }:
stdenv.mkDerivation rec {
pname = "hdt";
version = "1.3.3";
src = fetchFromGitHub {
owner = "rdfhdt";
repo = "hdt-cpp";
rev = "v${version}";
sha256 = "1vsq80jnix6cy78ayag7v8ajyw7h8dqyad1q6xkf2hzz3skvr34z";
};
patches = [
# Pull fix for gcc-13 compatibility pending upstream inclusion:
# https://github.com/rdfhdt/hdt-cpp/pull/276
(fetchpatch {
name = "gcc-13.patch";
url = "https://github.com/rdfhdt/hdt-cpp/commit/1b775835c6661c67cb18f5d6f65638ba7d4ecf3c.patch";
hash = "sha256-2ppcA+Ztw5G/buW2cwCNbuGeUuvgvSruW3OarWNCIHI=";
})
];
buildInputs = [ zlib serd ];
nativeBuildInputs = [ autoreconfHook libtool pkg-config ];
enableParallelBuilding = true;
meta = with lib; {
homepage = "http://www.rdfhdt.org/";
description = "Header Dictionary Triples (HDT) is a compression format for RDF data that can also be queried for Triple Patterns";
license = licenses.lgpl21;
platforms = platforms.linux;
maintainers = [ maintainers.koslambrou ];
};
}