# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1615294785 -3600
# Node ID bef67691a7130806d44b35579bd3116de4287245
# Parent  113f3912c7cbb95c254c1d7690508b57089759a8
make: Add target for building Teal sources

Compiled Lua targets included in parallel in order to not add a hard
dependency on Teal, at least not yet.

diff -r 113f3912c7cb -r bef67691a713 GNUmakefile
--- a/GNUmakefile	Tue Mar 09 14:36:46 2021 +0100
+++ b/GNUmakefile	Tue Mar 09 13:59:45 2021 +0100
@@ -105,6 +105,10 @@
 	@echo $$(sed -n '/^\tlocal exclude_files/,/^}/p;' .luacheckrc | sed '1d;$d' | wc -l) files ignored
 	shellcheck configure
 
+util/%.lua: teal-src/util/%.tl
+	tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@
+	-lua-format -i $@
+
 util/%.so:
 	$(MAKE) install -C util-src