From f3ebf0557e0c00a252e4cfbddc36e6911355a35a Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Mon, 14 Jul 2025 21:45:41 +0200
Subject: [PATCH] CI: sneak FlexLexer.h into the WASI sysroot

---
 .github/workflows/extra-builds.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/extra-builds.yml b/.github/workflows/extra-builds.yml
index 8d64b2e0e..36215454f 100644
--- a/.github/workflows/extra-builds.yml
+++ b/.github/workflows/extra-builds.yml
@@ -72,6 +72,7 @@ jobs:
           cat > build/Makefile.conf <<END
           export PATH := $(pwd)/${WASI_SDK}/bin:${PATH}
           WASI_SYSROOT := $(pwd)/${WASI_SDK}/share/wasi-sysroot
+          ln -s /usr/include/FlexLexer.h ${WASI_SYSROOT}/include/
 
           CONFIG := wasi
           PREFIX := /