mirror of https://github.com/YosysHQ/yosys.git
CI: sneak FlexLexer.h into the WASI sysroot
This commit is contained in:
parent
85b5a7d08b
commit
f3ebf0557e
|
|
@ -72,6 +72,7 @@ jobs:
|
||||||
cat > build/Makefile.conf <<END
|
cat > build/Makefile.conf <<END
|
||||||
export PATH := $(pwd)/${WASI_SDK}/bin:${PATH}
|
export PATH := $(pwd)/${WASI_SDK}/bin:${PATH}
|
||||||
WASI_SYSROOT := $(pwd)/${WASI_SDK}/share/wasi-sysroot
|
WASI_SYSROOT := $(pwd)/${WASI_SDK}/share/wasi-sysroot
|
||||||
|
ln -s /usr/include/FlexLexer.h ${WASI_SYSROOT}/include/
|
||||||
|
|
||||||
CONFIG := wasi
|
CONFIG := wasi
|
||||||
PREFIX := /
|
PREFIX := /
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue