Add releaseTools builds for nosv

This commit is contained in:
Aleix Boné 2025-10-13 11:06:57 +02:00
parent 0aa42a82c2
commit f69e6b6457
No known key found for this signature in database

View File

@ -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";
});
}