Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion pglite/.buildconfig
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
PG_VERSION=16.4
SDK_VERSION=3.1.74.3bi
SDK_VERSION=3.1.61.6bi
WASI_SDK_VERSION=24.0.4
SDKROOT=/opt/python-wasm-sdk
16 changes: 8 additions & 8 deletions pglite/Dockerfile
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
FROM ubuntu:22.04 AS build_sdk
FROM --platform=$BUILDPLATFORM ubuntu:22.04 AS build_sdk

ARG PG_VERSION=16.4
ARG SDK_VERSION=3.1.74.3bi
ARG SDK_VERSION=3.1.61.6bi
ARG DEBUG=false
ARG OBJDUMP=true

Expand All @@ -11,7 +11,7 @@ ENV \
SDKROOT=/opt/python-wasm-sdk \
SYS_PYTHON=/usr/bin/python3 \
DEBUG=$DEBUG \
BUILDS=3.12 \
BUILDS=3.13 \
EMFLAVOUR=3.1.74

WORKDIR /workspace
Expand All @@ -27,7 +27,7 @@ RUN \

# Download the python-wasm-sdk source for the given version
# RUN git clone --depth 1 --branch ${SDK_VERSION} https://github.com/pygame-web/python-wasm-sdk.git
RUN git clone --depth 1 https://github.com/electric-sql/portable-sdk.git
RUN git clone --depth 1 --single-branch --branch tudor/useCores https://github.com/electric-sql/portable-sdk.git

WORKDIR /workspace/portable-sdk/python-wasm-sdk

Expand All @@ -45,24 +45,24 @@ RUN \
apt-get clean

ARG PG_VERSION=16.4
ARG SDK_VERSION=3.1.74.3bi
ARG SDK_VERSION=3.1.61.6bi
ARG DEBUG=false
ARG OBJDUMP=true

ENV \
PG_VERSION=$PG_VERSION \
SDK_VERSION=$SDK_VERSION \
SDK_ARCHIVE=python3.12-wasm-sdk-Ubuntu-22.04.tar.lz4 \
SDK_ARCHIVE=python3.13-wasm-sdk-Ubuntu-22.04.tar.lz4 \
SDKROOT=/opt/python-wasm-sdk \
SYS_PYTHON=/usr/bin/python3 \
PGROOT=/tmp/pglite \
DEBUG=$DEBUG \
OBJDUMP=$OBJDUMP

COPY --from=build_sdk /tmp/sdk /tmp/sdk
COPY --from=build_sdk /tmp/sdk/$SDK_ARCHIVE /tmp/sdk/$SDK_ARCHIVE

RUN tar --use-compress-program=lz4 -xvf /tmp/sdk/${SDK_ARCHIVE} -C /

RUN rm -r /tmp/sdk
RUN rm /tmp/sdk/$SDK_ARCHIVE

WORKDIR /workspace
Loading