initial

1 files changed, 12 insertions, 0 deletions

diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..d759446
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,12 @@
+#!/bin/sh -e
+
+for file in "data" "log" "tangle" "weave" ; do
+	cat "${file}.lp" | ./tangle | zig fmt --stdin > "src/${file}.zig" ;
+	echo "[ok]	generated source '${file}'" ;
+done
+
+for file in "tangle" "weave" ; do
+	zig build-exe -O ReleaseSmall "src/${file}.zig" ;
+	strip -s "${file}" ;
+	echo "[ok]	compiled '${file}'" ;
+done