diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 947160fe..ed5b3155 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -1399,6 +1399,7 @@ def _main(_args=None) -> MainResult:
     build_cmd = [
         "forge",  # shutil.which('forge')
         "build",
+        "--build-info",
         "--root",
         args.root,
         "--extra-output",