From f69e6b645770b4454e02dd0169f762b4f1980740 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aleix=20Bon=C3=A9?= <aleix.boneribo@bsc.es>
Date: Mon, 13 Oct 2025 11:06:57 +0200
Subject: [PATCH] Add releaseTools builds for nosv

---
 release.nix | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/release.nix b/release.nix
index 8df9c75..6e608b5 100644
--- a/release.nix
+++ b/release.nix
@@ -46,6 +46,13 @@ let
       ];
     }
   );
+
+  tarballs = {
+    nosv = pkgs.releaseTools.sourceTarball {
+      name = "nosv-tarball";
+      inherit (pkgs.nosv) src version;
+    };
+  };
 in
 {
   pkgs = {
@@ -56,4 +63,20 @@ in
       nanos6
       ;
   };
+
+  inherit tarballs;
+
+  coverage.nosv = pkgs.releaseTools.coverageAnalysis {
+    name = "nosv-coverage";
+    src = tarballs.nosv;
+    lcovFilter = [ "*/tests/*" ];
+  };
+
+  sanitized.nosv = pkgs.nosv.overrideAttrs (old: {
+    configureFlags = [
+      "--with-asan "
+      "--with-ubsan"
+    ];
+    CFLAGS = "-Werror";
+  });
 }