[Scripts] build turbo-tv

bongjunj · bongjunj · commit a70f4e7712f6 · 2025-04-22T07:20:08.000Z
diff --git a/build-turbotv.sh b/build-turbotv.sh
@@ -0,0 +1,13 @@
+#!/usr/bin/env bash
+
+git submodule update --init --remote turbo-tv
+pushd turbo-tv
+git checkout a011a31faf0b9effb06d5b67b977e2dc91d4e240
+
+export OPAMYES=1
+
+opam install core_unix cmdliner dune ocamlgraph z3 ocamlformat oUnit -y
+dune build --root . || true
+dune install --root .
+
+command -v turbo-tv
diff --git a/build.sh b/build.sh
@@ -91,3 +91,6 @@ fi
 install_alive2
 
 make
+
+command -v fuzzer
+command -v llmutate
diff --git a/turbo-tv b/turbo-tv
@@ -1 +1 @@
-Subproject commit 7dc2847e5b7ab75447da4aac852de398b7e2a54c
+Subproject commit a011a31faf0b9effb06d5b67b977e2dc91d4e240
