{
  stdenv
, autoreconfHook
, boost
, libxml2
, xml2
, wxGTK32
, autoconf
, automake
, pkg-config
, zlib
}:

let
  wx = wxGTK32;
in
stdenv.mkDerivation rec {
  pname = "paraver-kernel";
  version = "${src.shortRev}";

  src = builtins.fetchGit {
    url = "https://github.com/bsc-performance-tools/paraver-kernel.git";
    rev = "2e167da3cee78ca11e31b74faefb23f12bac2b8c"; # master (missing tag)
    ref = "master";
  };

  patches = [
    # https://github.com/bsc-performance-tools/paraver-kernel/pull/11
    ./dont-expand-colors.patch
  ];

  hardeningDisable = [ "all" ];
  enableParallelBuilding = true;

  dontStrip = true;

  preConfigure = ''
    export CFLAGS="-O3 -DPARALLEL_ENABLED"
    export CXXFLAGS="-O3 -DPARALLEL_ENABLED"
  '';

  configureFlags = [
    "--with-boost=${boost}"
    "--enable-openmp"
  ];

  buildInputs = [
    autoreconfHook
    boost
    libxml2.dev
    xml2
    autoconf
    automake
    pkg-config
    zlib
  ];
}