Build wxparaver and paraver-kernel from github

2023-03-02 17:58:53 +01:00
parent bff0395872
commit f28817c3bf
6 changed files with 275 additions and 66 deletions
--- a/test/ci.nix
+++ b/test/ci.nix
@@ -23,7 +23,7 @@ stdenv.mkDerivation rec {
    # Tools
    ovni
    extrae
-    paraver
+    wxparaver
    # Runtimes
    nanos6
  ];