zeitbild/backend
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

[fix] tools:plankton

Browse source
This commit is contained in:
fenris 2025-10-02 16:56:42 +02:00
parent 8b480ecc92
commit 477eeadc14
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/update-plankton
View file

@ -43,8 +43,8 @@ mkdir -p ${dir}
mkdir /tmp/sandbox -p mkdir /tmp/sandbox -p
cd /tmp/sandbox cd /tmp/sandbox
ptk fetch node ${modules} ptk fetch node ${modules}
schwamm --include=/tmp/sandboxplankton.swm.json --output=dump:logic-decl > ${dir}/plankton.d.ts schwamm --include=/tmp/sandbox/plankton.swm.json --output=dump:logic-decl > ${dir}/plankton.d.ts
schwamm --include=/tmp/sandboxplankton.swm.json --output=dump:logic-impl > ${dir}/plankton.js schwamm --include=/tmp/sandbox/plankton.swm.json --output=dump:logic-impl > ${dir}/plankton.js
exit exit
mkdir -p ${dir} mkdir -p ${dir}