mirror of
https://github.com/RustPython/RustPython.git
synced 2026-10-28 10:44:36 +08:00
Add gitpod configuration
This commit is contained in:
1 parent
52c5eec4bb
commit
84f26ae121
2 files changed
+15
No files matched your search
Vendored
+13
@@ -0,0 +1,13 @@
|
||||
FROM gitpod/workspace-full
|
||||
|
||||
USER gitpod
|
||||
|
||||
# Update Rust to the latest version
|
||||
RUN rm -rf ~/.rustup && ~/.cargo/bin/rustup update stable
|
||||
|
||||
# Set up wasm-pack and wasm32-unknown-unknown for rustpython_wasm
|
||||
RUN export PATH=$HOME/.cargo/bin:$PATH && \
|
||||
curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh && \
|
||||
rustup target add wasm32-unknown-unknown
|
||||
|
||||
USER root
|
||||
@@ -0,0 +1,2 @@
|
||||
image:
|
||||
file: .gitpod.Dockerfile
|
||||
Reference in new issue
Block a user