From 99252e38b10a3c3e163b470ff34f42b29427f97e Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 16 Mar 2026 11:13:37 +0100
Subject: [PATCH] Mon 16 Mar 11:13:23 CET 2026

---
 build/build.tools.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 build/build.tools.sh

diff --git a/build/build.tools.sh b/build/build.tools.sh
new file mode 100644
index 0000000..7a63228
--- /dev/null
+++ b/build/build.tools.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+CDK=../aux/cdk-5.0-20251014
+tcc -lm  -g -O2  -DHAVE_CONFIG_H -I$CDK/include -I. \
+    -D_DEFAULT_SOURCE -D_XOPEN_SOURCE=500 -D_XOPEN_SOURCE_EXTENDED \
+    -I ../aux -o term ../aux/lfifo.c ../tools/term.c $CDK/libcdk.a -lncurses 
+