diff --git a/pkgs/nanos6/default.nix b/pkgs/nanos6/default.nix index c419f2d..5cd6d53 100644 --- a/pkgs/nanos6/default.nix +++ b/pkgs/nanos6/default.nix @@ -72,6 +72,7 @@ in "--disable-all-instrumentations" "--enable-ovni-instrumentation" "--with-ovni=${ovni}" + "--with-boost=${boost.dev}" ] ++ (optional enableJemalloc "--with-jemalloc=${jemallocNanos6}") ++ (optional enableGlibcxxDebug "CXXFLAGS=-D_GLIBCXX_DEBUG");