Add plictool to dump PLIC state

2024-09-03 13:06:33 +02:00
parent 1aa899c8f0
commit 3ee0933d7b
3 changed files with 148 additions and 0 deletions
--- a/overlay.nix
+++ b/overlay.nix
@@ -69,6 +69,22 @@ final: prev:
    '';
  };

+  plictool = prev.pkgsStatic.stdenv.mkDerivation {
+    name = "plictool";
+    src = ./tools/plictool.c;
+    unpackPhase = ''
+      cp ${./tools/plictool.c} plictool.c
+    '';
+    dontConfigure = true;
+    buildPhase = ''
+      $CC -static plictool.c -o plictool
+    '';
+    installPhase = ''
+      mkdir -p $out/bin
+      cp plictool $out/bin/
+    '';
+  };
+
  bitstreams = builtins.fetchGit {
    url = "git@bscpm03.bsc.es:rarias/bitstreams.git";
    rev = "097dad3e888f630ad6ec7e7056ee1b3fcb03400b";