From 8037a95e890b4c5a776e3765fc236c868faa73ae Mon Sep 17 00:00:00 2001
From: pmp-p <mail.peny@free.fr>
Date: Thu, 13 Jun 2024 15:57:19 +0200
Subject: [PATCH] pin vector to 0.7.2

---
 cibuild.sh | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/cibuild.sh b/cibuild.sh
index db66e114..ac1dcc2a 100755
--- a/cibuild.sh
+++ b/cibuild.sh
@@ -143,16 +143,28 @@ then
     echo "================================================="
 
     pushd build
-    [ -d pgvector ] || git clone --no-tags --depth 1 --single-branch --branch master https://github.com/pgvector/pgvector
+
+    # [ -d pgvector ] || git clone --no-tags --depth 1 --single-branch --branch master https://github.com/pgvector/pgvector
+    # git clone --branch v0.7.2 https://github.com/pgvector/pgvector.git
+
+    if [ -d pgvector ]
+    then
+        echo using local pgvector
+    else
+        wget -c -q https://github.com/pgvector/pgvector/archive/refs/tags/v0.7.2.tar.gz -Opgvector.tar.gz
+        tar xvfz pgvector.tar.gz && rm pgvector.tar.gz
+        mv pgvector-?.?.? pgvector
+    fi
         pushd pgvector
         # path for wasm-shared already set to (pwd:pg build dir)/bin
         # OPTFLAGS="" turns off arch optim (sse/neon).
         PG_CONFIG=${PGROOT}/bin/pg_config emmake make OPTFLAGS="" install
             pushd ${PGROOT}/share/postgresql/extension
-                mv vector--0.7.0--0.7.1.sql vector--0.7.1.sql
                 rm vector--*--*.sql
+                mv vector.sql > vector--0.7.2.sql
             popd
         popd
+
     popd
 fi