From 23e050e5697efce1101acad21b971b9ea5e4ee3f 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.
---
 pkgs/nosv/default.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pkgs/nosv/default.nix b/pkgs/nosv/default.nix
index 889f5c3..e384277 100644
--- a/pkgs/nosv/default.nix
+++ b/pkgs/nosv/default.nix
@@ -6,6 +6,7 @@
 , pkg-config
 , numactl
 , hwloc
+, papi
 , cacheline ? 64 # bits
 , ovni ? null
 , useGit ? false
@@ -56,5 +57,6 @@ in
       numactl
       hwloc
       ovni
+      papi
     ];
   }