DEBUG

.github/workflows/pr-tests.yml

@@ -31,4 +31,4 @@ jobs:
       run: cargo build --all --all-targets --all-features --profile pr-tests
     - uses: taiki-e/install-action@nextest
     - name: Run tests
-      run: RUST_LOG=info cargo nextest run --workspace --all-features --all-targets --cargo-profile pr-tests
+      run: RUST_LOG=info cargo nextest run --workspace --all-features --all-targets --cargo-profile pr-tests --nocapture

build.rs

@@ -4,11 +4,20 @@ fn main() {
     // Run make test in the zkevm-prover directory
     let zkevm_prover_dir = Path::new(env!("CARGO_MANIFEST_DIR")).join("externals/zkevm-prover");
 
+    eprintln!(
+        "Running make test in zkevm-prover directory: {}",
+        zkevm_prover_dir.display()
+    );
     Command::new("make")
         .arg("test")
         .arg("-j")
         .arg(num_cpus::get().to_string())
+        .arg("-d")
         .current_dir(&zkevm_prover_dir)
         .status()
         .expect("Failed to run make test in zkevm-prover directory");
+
+    // Assert build/zkProverTest was built.
+    let zk_prover_test = zkevm_prover_dir.join("build/zkProverTest");
+    assert!(zk_prover_test.exists())
 }

src/lib.rs

@@ -181,6 +181,13 @@ pub fn generate_proof(
     log::info!("Generating proof...");
     let proof_output_dir = output_dir.join("runtime/output");
     fs::create_dir_all(&proof_output_dir)?;
+    /*print_and_run(
+        Command::new("ls").args([
+            "-lah",
+            "/home/runner/work/pil-stark-prover/pil-stark-prover/externals/zkevm-prover/build",
+        ]),
+        Error::ProofGen,
+    )?;*/
     print_and_run(
         Command::new(zkevm_prover_dir.join("build/zkProverTest"))
             .args(