setop/elm-scripting
1
0
Fork 0
mirror of https://codeberg.org/setop/elm-scripting synced 2025-11-08 21:49:57 +00:00
Code Activity

more exploration

Browse Source
This commit is contained in:
setop
2025-09-27 18:10:33 +02:00
parent 7025bc1104
commit 9566f305b5
6 changed files with 22 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
build.sh
View File

@@ -1,12 +1,14 @@
#!/bin/sh -eu
CMDD=$(dirname $(realpath 0))
w1="$(mktemp out_$$_1_XXXX.js)"
elm make --optimize --output=${w1} $1 1>&2
w2="$(mktemp out_$$_XXXX.js)"
cat dom.js ${w1} launch.js > ${w2}
cat ${CMDD}/dom.js ${CMDD}/preelm.js ${w1} ${CMDD}/postelm.js > ${w2}
rm ${w1}