add

succinctlabs · Jan 16, 2025 · 542a695 · 542a695
1 parent 26ae04f
commit 542a695
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/utils/build/src/lib.rs b/utils/build/src/lib.rs
@@ -86,10 +86,10 @@ fn build_zkvm_program(program: &str) {
     build_program_with_args(
         &format!("{}/{}", metadata.workspace_root.join("programs"), program),
         BuildArgs {
-            // elf_name: Some(format!("{}-elf", program)),
-            // output_directory: Some("../../elf".to_string()),
-            // docker: true,
-            // tag: "v4.0.0-rc.10".to_string(),
+            elf_name: Some(format!("{}-elf", program)),
+            output_directory: Some("../../elf".to_string()),
+            docker: true,
+            tag: "v4.0.0-rc.10".to_string(),
             ..Default::default()
         },
     );