From b35868f0d84b045dd36ac2f2484bef9278162274 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Tue, 29 Jul 2025 16:13:15 +0200
Subject: [PATCH] Build nOS-V with PAPI support

To support the new instrumentation for HWC it would be useful to already
build nOS-V with PAPI support enabled. The enablePapi switch allows it
to be disabled with `nosv.override { enablePapi = false; }`.
---
 pkgs/nosv/default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/nosv/default.nix b/pkgs/nosv/default.nix
index 889f5c3..0c02fc9 100644
--- a/pkgs/nosv/default.nix
+++ b/pkgs/nosv/default.nix
@@ -6,6 +6,8 @@
 , pkg-config
 , numactl
 , hwloc
+, papi
+, enablePapi ? true
 , cacheline ? 64 # bits
 , ovni ? null
 , useGit ? false
@@ -56,5 +58,5 @@ in
       numactl
       hwloc
       ovni
-    ];
+    ] ++ lib.optionals enablePapi [ papi ];
   }