2777f2e458
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>
37 lines
1.1 KiB
Nix
37 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 ];
|
|
};
|
|
}
|