From b73a85d19e5320522a1f857f57b22b17d6803b5d Mon Sep 17 00:00:00 2001 From: Ryan Fanchiotti Date: Thu, 21 May 2026 23:34:25 -0400 Subject: [PATCH] alive2: add alive-tv binary --- pkgs/by-name/al/alive2/package.nix | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkgs/by-name/al/alive2/package.nix b/pkgs/by-name/al/alive2/package.nix index ce354f694c1c..907b2201746c 100644 --- a/pkgs/by-name/al/alive2/package.nix +++ b/pkgs/by-name/al/alive2/package.nix @@ -34,6 +34,10 @@ clangStdenv.mkDerivation (finalAttrs: { ]; strictDeps = true; + cmakeFlags = [ + (lib.cmakeFeature "BUILD_TV" "1") + ]; + postPatch = '' substituteInPlace CMakeLists.txt \ --replace-fail '-Werror' "" \ @@ -55,6 +59,7 @@ clangStdenv.mkDerivation (finalAttrs: { mkdir -p $out/bin cp alive $out/bin/ cp alive-jobserver $out/bin/ + cp alive-tv $out/bin/ rm -rf $out/bin/CMakeFiles $out/bin/*.o runHook postInstall '';