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.

author: Kim Alvefur <zash@zash.se>
date: Tue, 09 Mar 2021 13:59:45 +0100
parent: 11121:2d38242a08dd
child: 11463:21523e3d395e
--- 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