File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed
Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ RUN git pull \
5858ARG WASI_SDK_VER=24
5959RUN wget -c --progress=dot:giga https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_SDK_VER}/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux.tar.gz -P /opt \
6060 && tar xf /opt/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux.tar.gz -C /opt \
61- && ln -sf /opt/wasi-sdk-${WASI_SDK_VER}.0 /opt/wasi-sdk \
61+ && ln -sf /opt/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux /opt/wasi-sdk \
6262 && rm /opt/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux.tar.gz
6363
6464#
@@ -168,6 +168,9 @@ ENV PATH="/opt/codeql:${PATH}"
168168
169169# set path
170170ENV PATH="/home/vscode/.opam/default/bin:/opt/bazelisk:/usr/lib/llvm-${LLVM_VER}/bin:${PATH}"
171+
172+ ENV PYTHONPATH="/usr/lib/llvm-14/lib/python3.10/dist-packages/"
173+
171174# clean
172175RUN apt-get autoremove -y \
173176 && apt-get clean -y \
You can’t perform that action at this time.
0 commit comments