Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit cb12aa2d94 - Show all commits

View File

@@ -11,11 +11,13 @@
, papi
, extrae
, boost
, enableJemalloc ? false
, enableJemalloc ? true
, jemalloc ? null
, cachelineBytes ? 64
}:
assert enableJemalloc -> (jemalloc != null);
with stdenv.lib;
stdenv.mkDerivation rec {