From 1784d04605ac482361bd0795f6477622d30cf28a Mon Sep 17 00:00:00 2001
From: "Paul m. p. Peny" <mail.peny@free.fr>
Date: Fri, 22 Nov 2024 08:46:58 +0100
Subject: [PATCH] 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 <sam.willis@gmail.com>
---
 .buildconfig                              |  3 ++-
 .changeset/modern-lemons-live.md          |  5 +++++
 .github/workflows/build_wasm_postgres.yml | 11 +++++++++--
 cibuild/linkweb.sh                        |  3 ++-
 4 files changed, 18 insertions(+), 4 deletions(-)
 create mode 100644 .changeset/modern-lemons-live.md

diff --git a/.buildconfig b/.buildconfig
index 77092486..94087d6e 100644
--- a/.buildconfig
+++ b/.buildconfig
@@ -1,2 +1,3 @@
 PG_VERSION=16.4
-SDK_VERSION=3.1.68.3bi
+SDK_VERSION=3.1.72.0bi
+
diff --git a/.changeset/modern-lemons-live.md b/.changeset/modern-lemons-live.md
new file mode 100644
index 00000000..ec6b2c54
--- /dev/null
+++ b/.changeset/modern-lemons-live.md
@@ -0,0 +1,5 @@
+---
+'@electric-sql/pglite': patch
+---
+
+Bump Emscripten to 3.1.72
diff --git a/.github/workflows/build_wasm_postgres.yml b/.github/workflows/build_wasm_postgres.yml
index 1d309c39..3571f180 100644
--- a/.github/workflows/build_wasm_postgres.yml
+++ b/.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'
diff --git a/cibuild/linkweb.sh b/cibuild/linkweb.sh
index 7aa98415..6857cb2e 100755
--- a/cibuild/linkweb.sh
+++ b/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"