12 lines
372 B
Bash
Raw Permalink Normal View History

#!/usr/bin/env bash
set -o errexit -o nounset -o pipefail
# set current working directory to script parent directory to run script from everywhere
cd "$(dirname "$0")"/..
2021-07-21 11:37:25 +03:00
mkdir -p artifacts
rm -f artifacts/*.wasm
marine build --release
cp target/wasm32-wasi/release/process_files.wasm artifacts/
2021-08-18 11:37:09 +03:00
marine aqua artifacts/process_files.wasm >../aqua/aqua/process_files.aqua