2023-10-02 10:38:49 +02:00
|
|
|
{ jemalloc }:
|
|
|
|
|
|
|
|
|
|
jemalloc.overrideAttrs (old: {
|
|
|
|
|
configureFlags = old.configureFlags ++ [
|
|
|
|
|
"--with-jemalloc-prefix=nanos6_je_"
|
|
|
|
|
"--enable-stats"
|
|
|
|
|
];
|
|
|
|
|
hardeningDisable = [ "all" ];
|
2023-10-03 10:00:34 +02:00
|
|
|
meta = old.meta // {
|
|
|
|
|
description = old.meta.description + " (for Nanos6)";
|
|
|
|
|
};
|
2023-10-02 10:38:49 +02:00
|
|
|
})
|
