From 2816d2aade624033040478f8f2d011aa5f3ca1c4 Mon Sep 17 00:00:00 2001 From: Fenris Wolf Date: Mon, 2 Mar 2026 22:28:27 +0100 Subject: [PATCH] [fix] tool:update-plankton --- tools/update-plankton | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/tools/update-plankton b/tools/update-plankton index 1cc35e7..d85e70a 100755 --- a/tools/update-plankton +++ b/tools/update-plankton @@ -2,7 +2,7 @@ ## consts -dir=lib/plankton +dir=$(pwd)/lib/plankton modules="" modules="${modules} base" @@ -17,6 +17,14 @@ modules="${modules} log" ## exec +mkdir -p ${dir} +mkdir /tmp/sandbox -p +cd /tmp/sandbox +ptk fetch node ${modules} +schwamm --include=/tmp/sandbox/plankton.swm.json --output=dump:logic-decl > ${dir}/plankton.d.ts +schwamm --include=/tmp/sandbox/plankton.swm.json --output=dump:logic-impl > ${dir}/plankton.js +exit + mkdir -p ${dir} cd ${dir} ptk bundle node ${modules}