Update paraver to 4.12.0

pkgs/paraver/default.nix

@@ -1,5 +1,6 @@
 {
   stdenv
+, fetchFromGitHub
 , autoreconfHook
 , boost
 , libxml2
@@ -11,6 +12,7 @@
 , openssl
 , glibcLocales
 , wrapGAppsHook
+, installShellFiles
 }:
 
 let
@@ -18,14 +20,17 @@ let
 in
 stdenv.mkDerivation rec {
   pname = "wxparaver";
-  version = "4.11.2";
+  version = "4.12.0";
 
-  src = builtins.fetchGit {
-    url = "https://github.com/bsc-performance-tools/wxparaver.git";
-    rev = "129e6b4a4f061e5a319049db8db1620f5de3bd70"; # v4.11.2 (missing tag)
-    ref = "master";
+  src = fetchFromGitHub {
+    owner = "bsc-performance-tools";
+    repo = "wxparaver";
+    rev = "v${version}";
+    sha256 = "sha256-YsO5gsuEFQdki3lQudEqgo5WXOt/fPdvNw5OxZQ86Zo=";
   };
 
+  patches = [ ./do-not-steal-focus-on-redraw.patch ];
+
   hardeningDisable = [ "all" ];
 
   # Fix the PARAVER_HOME variable
@@ -51,6 +56,7 @@ stdenv.mkDerivation rec {
 
   nativeBuildInputs = [
     wrapGAppsHook
+    installShellFiles
   ];
 
   buildInputs = [
@@ -75,7 +81,6 @@ stdenv.mkDerivation rec {
     cp -p ${paraverKernel}/share/filters-config/* $out/share/filters-config
 
     # Move man files to proper location
-    mkdir -p $out/share/man
-    mv $out/share/doc/wxparaver_help_contents/man $out/share/man/man1
+    installManPage $out/share/doc/wxparaver_help_contents/man/*
   '';
 }