spicy: add files missing for coverage generation (#10067)

Automatic copying of the source files skipped softlinks which lead to
some include files not being found during coverage generation. With this
patch we now manually deep-copy softlinks in the source tree to their
export target locations.
This commit is contained in:
Benjamin Bannier 2023-04-12 14:10:54 +02:00 committed by GitHub
parent 88d15b281c
commit bfa2f705b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 21 additions and 0 deletions

View File

@ -25,3 +25,24 @@ ninja -j"$(nproc)" -C build "${FUZZ_TARGETS[@]}"
cp build/bin/fuzz-* "${OUT}"
cp -r build "${OUT}"
## Replace soflinks in copied out build directory with actual contents.
FROM=${SRC}/spicy
TO=${OUT}/$(basename "${SRC}")/spicy
# Replace softlinks to runtime headers with actual contents.
mkdir -p "${TO}/hilti/runtime/include/hilti/rt"
rm -rf "${TO}/hilti/runtime/include/hilti/rt"/*
cp -rP "${FROM}/hilti/runtime/include/"* "${TO}/hilti/runtime/include/hilti/rt"
mkdir -p "${TO}/spicy/runtime/include/spicy/rt"
rm -rf "${TO}/spicy/runtime/include/spicy/rt"/*
cp -rP "${FROM}/spicy/runtime/include/"* "${TO}/spicy/runtime/include/spicy/rt"
# Replace softlinks to 3rdparty dependencies with actual contents.
for DEP in any ArticleEnumClass-v2 ghc SafeInt tinyformat nlohmann; do
D=${TO}/hilti/runtime/include/hilti/rt/3rdparty
rm -r "${D}/${DEP}"
mkdir -p "${D}/${DEP}"
cp -rL "${FROM}/hilti/runtime/include/hilti/rt/3rdparty/${DEP}"/* "${D}/${DEP}/"
done