From 857071dd1e7a813924e3e17b77dc2782834bd1a2 Mon Sep 17 00:00:00 2001
From: Jan Tuomi <jans.tuomi@gmail.com>
Date: Sat, 20 Jan 2024 19:26:03 +0200
Subject: Add build system

---
 build.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 build.sh

(limited to 'build.sh')

diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..1f36c6f
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+set -euxo pipefail
+
+CSC_FLAGS=-O3
+BUILD_DIR=build
+
+mkdir -p ${BUILD_DIR}
+cd ${BUILD_DIR}
+
+modules=$(cat ../modules.list)
+
+for mod in $modules; do
+    csc ${CSC_FLAGS} -c -static -J ../${mod}.scm -unit ${mod} -o ${mod}.o
+done
+
+csc ${CSC_FLAGS} -o desmoctl -static -uses desmo-apply ../desmoctl.scm
+chmod +x desmoctl
-- 
cgit v1.3