From 71f4c01843ea435ad20a68ec25e16eaf016978d9 Mon Sep 17 00:00:00 2001
From: Tim Wojtulewicz <timwoj@gmail.com>
Date: Wed, 20 Jul 2022 14:04:15 -0700
Subject: [PATCH] zeek: Fix installation of filesystem module (#8043)

---
 projects/zeek/build.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/projects/zeek/build.sh b/projects/zeek/build.sh
index cfceabd32..a8f0bf1f6 100644
--- a/projects/zeek/build.sh
+++ b/projects/zeek/build.sh
@@ -82,4 +82,11 @@ if [ "${SANITIZER}" = "coverage" ]; then
   # causing the coverage build to fail.
   mkdir -p $OUT/$(basename $SRC)
   cp -r $SRC/zeek $OUT/$(basename $SRC)/zeek
+
+  # Replace the 3rdpary/ghc symlink in the ./build directory with the
+  # actual contents. The symlink otherwise points into the /src directory.
+  if [ -L ${OUT}/$(basename $SRC)/zeek/build/zeek/3rdparty/ghc ]; then
+    rm ${OUT}/$(basename $SRC)/zeek/build/zeek/3rdparty/ghc
+    cp -r $SRC/zeek/auxil/filesystem/include/ghc ${OUT}/$(basename $SRC)/zeek/build/zeek/3rdparty/
+  fi
 fi