From 25014778d21cc7e3ab7f6efcef89ec0731edfd23 Mon Sep 17 00:00:00 2001
From: ratankaliani <ratan@succinct.xyz>
Date: Tue, 17 Dec 2024 05:53:40 +0000
Subject: [PATCH] add

---
 utils/build/src/lib.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/utils/build/src/lib.rs b/utils/build/src/lib.rs
index 793ffd4e..43a4c8d6 100644
--- a/utils/build/src/lib.rs
+++ b/utils/build/src/lib.rs
@@ -100,12 +100,12 @@ pub fn build_all(program_args: ProgramBuildArgs) {
     // Note: Don't comment this out, because the Docker program depends on the native program
     // for range being built.
     build_native_program("range", program_args);
-    build_zkvm_program("range");
+    // build_zkvm_program("range");
 
     // Build aggregation program.
-    build_zkvm_program("aggregation");
+    // build_zkvm_program("aggregation");
     // Build dummy range program.
-    build_zkvm_program("dummy-range");
+    // build_zkvm_program("dummy-range");
 
     // Note: Don't comment this out, because the Docker program depends on the native host runner
     // being built.