From 16c494aa14e54c893b01acb3604136219f861370 Mon Sep 17 00:00:00 2001
From: Vitor Bandeira <vvbandeira@precisioninno.com>
Date: Fri, 25 Sep 2026 15:39:36 -0300
Subject: [PATCH] fix(docker): fail build when OpenROAD binary is missing

Verific integration can succeed while the OpenROAD build silently
fails to produce the binary. Check for it explicitly and exit
before the image is layered further.

Signed-off-by: Vitor Bandeira <vvbandeira@precisioninno.com>
---
 docker/Dockerfile.builder | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docker/Dockerfile.builder b/docker/Dockerfile.builder
index 7e8275b284..25ce8ae7db 100644
--- a/docker/Dockerfile.builder
+++ b/docker/Dockerfile.builder
@@ -38,6 +38,10 @@ fi
                     --local \
                     --threads ${numThreads} \
                     ${verificArgs}
+if [ ! -x tools/install/OpenROAD/bin/openroad ]; then
+    echo "Error: tools/install/OpenROAD/bin/openroad is missing or not executable." >&2
+    exit 1
+fi
 if [ -n "${verificPath}" ]; then
     rm -rf "${verificPath}"
 fi