2024-09-27 11:24:34 +02:00
|
|
|
#!/bin/bash
|
2024-10-03 16:39:53 +02:00
|
|
|
mkdir -p ../../resources/public/js/render_v2/cpp
|
|
|
|
|
mkdir -p ../../src/app/render_v2/
|
2024-09-27 11:24:34 +02:00
|
|
|
|
|
|
|
|
# FIXME: This is a VERY HACKY way to set the correct `scriptDirectory` but
|
|
|
|
|
# I didn't find a better way yet.
|
|
|
|
|
PREAMBLE_LINES=`wc -l js/preamble.js | egrep -o [0-9]+`
|
|
|
|
|
POSTAMBLE_LINES=`wc -l js/postamble.js | egrep -o [0-9]+`
|
|
|
|
|
LINE_NUMBER=`echo "200 + ${PREAMBLE_LINES} + ${POSTAMBLE_LINES}" | bc | egrep -o [0-9]+`
|
2024-10-03 16:39:53 +02:00
|
|
|
sed "${LINE_NUMBER} i \ \ scriptDirectory += 'js/render_v2/cpp/';" out/renderer.js > ../../src/app/render_v2/cpp.js
|
|
|
|
|
cp out/renderer.wasm ../../resources/public/js/render_v2/cpp
|
