Remove the tools/kepler-formal submodule

build_openroad.sh installs kepler-formal from the version pinned in
etc/kepler-formal, so the submodule, and the five submodules inside
it, are no longer checked out. Its build directory leaves
.dockerignore and its commit leaves the tools image tag.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>

Author: oharboe

.dockerignore

@@ -1,6 +1,5 @@
 # Build working directories
 tools/OpenROAD/build/
-tools/kepler-formal/build/
 # Local Bazel outputs; the image builds its own.
 etc/kepler-formal/bazel-*
 etc/kepler-formal/MODULE.bazel.lock

.gitmodules

@@ -4,6 +4,3 @@
 [submodule "tools/OpenROAD"]
 	path = tools/OpenROAD
 	url = ../OpenROAD.git
-[submodule "tools/kepler-formal"]
-	path = tools/kepler-formal
-	url = https://github.com/keplertech/kepler-formal

etc/DockerTag.sh

@@ -27,9 +27,9 @@ elif [[ "$@" == "-tools" ]]; then
         cat ./build_openroad.sh ./dev_env.sh ./etc/setup_compiler_wrappers.sh
         cat "${ignore_file}"
         # Drop the trailing describe output, which depends on fetched tags.
-        git submodule status tools/yosys tools/kepler-formal | awk '{print $1, $2}'
+        git submodule status tools/yosys | awk '{print $1, $2}'
         git ls-tree HEAD tools/ | grep -v -e 'tools/OpenROAD$' -e 'tools/AutoTuner$' \
-            -e 'tools/yosys$' -e 'tools/kepler-formal$'
+            -e 'tools/yosys$'
         # The kepler-formal version and the Bazel settings that install it.
         git ls-tree -r HEAD etc/kepler-formal
     } | sha256sum | awk '{print substr($1, 1, 6)}'