File tree Expand file tree Collapse file tree 1 file changed +6
-4
lines changed
Expand file tree Collapse file tree 1 file changed +6
-4
lines changed Original file line number Diff line number Diff line change 1111 SDKROOT=/opt/python-wasm-sdk \
1212 SYS_PYTHON=/usr/bin/python3 \
1313 DEBUG=$DEBUG \
14- BUILDS=3.12 \
14+ BUILDS=3.13 \
1515 EMFLAVOUR=3.1.74
1616
1717WORKDIR /workspace
2727
2828# Download the python-wasm-sdk source for the given version
2929# RUN git clone --depth 1 --branch ${SDK_VERSION} https://github.com/pygame-web/python-wasm-sdk.git
30+ # RUN git clone --depth 1 --single-branch --branch tudor/useCores https://github.com/electric-sql/portable-sdk.git
3031RUN git clone --depth 1 https://github.com/electric-sql/portable-sdk.git
3132
33+
3234WORKDIR /workspace/portable-sdk/python-wasm-sdk
3335
3436# Make python-wasm-sdk
@@ -52,17 +54,17 @@ ARG OBJDUMP=true
5254ENV \
5355 PG_VERSION=$PG_VERSION \
5456 SDK_VERSION=$SDK_VERSION \
55- SDK_ARCHIVE=python3.12 -wasm-sdk-Ubuntu-22.04.tar.lz4 \
57+ SDK_ARCHIVE=python3.13 -wasm-sdk-Ubuntu-22.04.tar.lz4 \
5658 SDKROOT=/opt/python-wasm-sdk \
5759 SYS_PYTHON=/usr/bin/python3 \
5860 PGROOT=/tmp/pglite \
5961 DEBUG=$DEBUG \
6062 OBJDUMP=$OBJDUMP
6163
62- COPY --from=build_sdk /tmp/sdk /tmp/sdk
64+ COPY --from=build_sdk /tmp/sdk/$SDK_ARCHIVE /tmp/sdk/$SDK_ARCHIVE
6365
6466RUN tar --use-compress-program=lz4 -xvf /tmp/sdk/${SDK_ARCHIVE} -C /
6567
66- RUN rm -r /tmp/sdk
68+ RUN rm /tmp/sdk/$SDK_ARCHIVE
6769
6870WORKDIR /workspace
You can’t perform that action at this time.
0 commit comments