mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-22 04:12:06 +00:00
Code Activity

fixup! CI: sneak FlexLexer.h into the WASI sysroot

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-07-14 22:16:46 +02:00
parent efbc138ced
commit b5be4b9209
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/extra-builds.yml vendored
View file

@ -67,12 +67,12 @@ jobs:
WASI_SDK=wasi-sdk-19.0
WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/wasi-sdk-19.0-linux.tar.gz
if ! [ -d ${WASI_SDK} ]; then curl -L ${WASI_SDK_URL} | tar xzf -; fi
ln -s /usr/include/FlexLexer.h ${WASI_SDK}/share/wasi-sysroot/include/
mkdir -p build
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 := /