File tree 1 file changed +4
-1
lines changed
1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ RUN git pull \
58
58
ARG WASI_SDK_VER=24
59
59
RUN 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 \
60
60
&& 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 \
62
62
&& rm /opt/wasi-sdk-${WASI_SDK_VER}.0-x86_64-linux.tar.gz
63
63
64
64
#
@@ -168,6 +168,9 @@ ENV PATH="/opt/codeql:${PATH}"
168
168
169
169
# set path
170
170
ENV 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
+
171
174
# clean
172
175
RUN apt-get autoremove -y \
173
176
&& apt-get clean -y \
You can’t perform that action at this time.
0 commit comments