From 65ace2eef5f9636eb78386799f4ff92c8268efb1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois-Ren=C3=A9=20Rideau?= <fare@tunes.org>
Date: Tue, 31 Oct 2023 10:56:51 -0700
Subject: [PATCH] export NODE_OPTION to build doc with legacy SSL (#1032)

---
 src/build.sh | 7 ++++++-
 src/gambit   | 2 +-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/build.sh b/src/build.sh
index c1bd67c90..c18f88436 100755
--- a/src/build.sh
+++ b/src/build.sh
@@ -267,7 +267,12 @@ build_tags () {
 
 build_doc () {
   feedback_low "Building gerbil hyperspec"
-  (cd "${GERBIL_BASE}/doc" && npm install && node_modules/vuepress/cli.js dev)
+  (## For now we only support old node v18 with this option.
+   ## TODO: update node support to a modern node with a modern SSL module.
+   export NODE_OPTIONS=--openssl-legacy-provider
+   cd "${GERBIL_BASE}/doc" &&
+   npm install &&
+   node_modules/vuepress/cli.js dev)
 }
 
 #===============================================================================
diff --git a/src/gambit b/src/gambit
index 24201248e..8b18ab695 160000
--- a/src/gambit
+++ b/src/gambit
@@ -1 +1 @@
-Subproject commit 24201248effa23d5017be4992b5b9879e4cd3a4c
+Subproject commit 8b18ab69504c2d41301f7fec16a5350db717a20e