feat(docker): collect tool LICENSE files into install dir

Copy LICENSE files from tool source trees into tools/install/licenses/
so they are included in the final image. Excludes tools/OpenROAD/src/sta.

Fixes: https://github.com/The-OpenROAD-Project/AutoTuner/issues/146

Author: luarss

.dockerignore

@@ -1,4 +1,7 @@
 # Build working directories
+tools/OpenROAD/build/
+tools/yosys-slang/build/
+tools/kepler-formal/build/
 
 # Build files
 build_openroad.log

docker/Dockerfile.builder

@@ -45,6 +45,18 @@ if [ -n "${verificPath}" ]; then
 fi
 EOF
 
+# Collect LICENSE files from tool source trees into the install directory so
+# they are available in the final image. tools/OpenROAD/src/sta is excluded
+# because it is covered by a separate commercial license agreement.
+RUN find /OpenROAD-flow-scripts/tools \( -name "*LICENSE*" -o -name "*LICENSES*" \) \
+    | grep -v '/OpenROAD/src/sta/' \
+    | grep -v '/AutoTuner/' \
+    | while read -r f; do \
+        rel="${f#/OpenROAD-flow-scripts/tools/}"; \
+        mkdir -p "/OpenROAD-flow-scripts/tools/install/licenses/$(dirname "$rel")"; \
+        cp -r "$f" "/OpenROAD-flow-scripts/tools/install/licenses/$rel"; \
+    done
+
 FROM orfs-base
 
 # The order for copying the directories is based on the frequency of changes (ascending order),