set for sdk 3.1.72.0 (latest) (#410)

* test 3.1.70.11

* version

* 3.1.71

* Update .buildconfig

* 3.1.72 no web opt / no closure

* Chageset

---------

Co-authored-by: Sam Willis <[email protected]>

.buildconfig

@@ -1,2 +1,3 @@
 PG_VERSION=16.4
-SDK_VERSION=3.1.68.3bi
+SDK_VERSION=3.1.72.0bi
+

.changeset/modern-lemons-live.md

@@ -0,0 +1,5 @@
+---
+'@electric-sql/pglite': patch
+---
+
+Bump Emscripten to 3.1.72

.github/workflows/build_wasm_postgres.yml

@@ -14,13 +14,18 @@ jobs:
     runs-on: ubuntu-22.04
     env:
       BUILD_CONFIG_FILE: .buildconfig
-      SDK_ARCHIVE: python3.12-wasm-sdk-Ubuntu-22.04.tar.lz4
+      SDK_ARCHIVE: python3.13-wasm-sdk-Ubuntu-22.04.tar.lz4
+      WASI_SDK_VERSION: 24.0.3
+      WASI_SDK_ARCHIVE: python3.13-wasi-sdk-Ubuntu-22.04.tar.lz4
       SDKROOT: /opt/python-wasm-sdk
       SYS_PYTHON: /usr/bin/python3
       PGROOT: /tmp/pglite
       TOTAL_MEMORY: 128MB
+      CMA_MB: 16
       DEBUG: false
       OBJDUMP: true
+      contrib: contrib
+      extra: extra
       EXTRA_EXT: vector
 
     steps:
@@ -51,7 +56,9 @@ jobs:
         run: |
           sudo apt-get install -y lz4 wget pv bash
           echo https://github.com/pygame-web/python-wasm-sdk/releases/download/$SDK_VERSION/$SDK_ARCHIVE
-          curl -sL --retry 5 https://github.com/pygame-web/python-wasm-sdk/releases/download/$SDK_VERSION/$SDK_ARCHIVE | tar xvP --use-compress-program=lz4 | pv -p -l -s 24400 >/dev/null
+          curl -sL --retry 5 https://github.com/pygame-web/python-wasm-sdk/releases/download/$SDK_VERSION/$SDK_ARCHIVE | tar xvP --use-compress-program=lz4 | pv -p -l -s 34500 >/dev/null
+          echo https://github.com/pygame-web/python-wasi-sdk/releases/download/$WASI_SDK_VERSION/$WASI_SDK_ARCHIVE
+          curl -sL --retry 5 https://github.com/pygame-web/python-wasi-sdk/releases/download/$WASI_SDK_VERSION/$WASI_SDK_ARCHIVE | tar xvP --use-compress-program=lz4 | pv -p -l -s 23000 >/dev/null
 
       - name: Build postgres WASM via emsdk
         if: steps.cache-restore.outputs.cache-hit != 'true'

cibuild/linkweb.sh

@@ -107,8 +107,9 @@ pushd src/backend
         MODULE="$LDEBUG --closure 0 -sMODULARIZE=1 -sEXPORT_ES6=1 -sEXPORT_NAME=Module"
 
     else
+        export COPTS="-O0 -g3"
         # local debug always fast build
-        MODULE="-g3 -O0 -sMODULARIZE=0 -sEXPORT_ES6=0"
+        MODULE="-sMODULARIZE=0 -sEXPORT_ES6=0"
     fi
 
     MODULE="$MODULE  --shell-file ${WORKSPACE}/tests/repl.html"