File tree 2 files changed +11
-2
lines changed
2 files changed +11
-2
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 \
Original file line number Diff line number Diff line change 35
35
" ms-python.debugpy" ,
36
36
" ms-python.python" ,
37
37
" ms-python.black-formatter" ,
38
+ " ms-python.vscode-pylance" ,
38
39
" ms-toolsai.jupyter" ,
40
+ " ms-toolsai.jupyter-keymap" ,
41
+ " ms-toolsai.jupyter-renderers" ,
42
+ " ms-toolsai.vscode-jupyter-cell-tags" ,
43
+ " ms-toolsai.vscode-jupyter-slideshow" ,
39
44
" ms-vscode.cpptools" ,
40
45
" streetsidesoftware.code-spell-checker" ,
41
46
" vadimcn.vscode-lldb" ,
47
+ " ms-vscode.cpptools-extension-pack"
42
48
]
43
49
}
44
50
},
51
57
"mounts" : [
52
58
" source=/mnt/workspace/SDF,target=/SDF,type=bind"
53
59
]
54
- }
60
+ }
You can’t perform that action at this time.
0 commit comments