make: Add target for rebuilding from Teal sources
authorKim Alvefur <zash@zash.se>
Wed, 29 Dec 2021 16:51:13 +0100
changeset 12134 c4ca226ff386
parent 12133 7a68d5828f3b
child 12135 b4c0efff8dd3
make: Add target for rebuilding from Teal sources
GNUmakefile
--- a/GNUmakefile	Tue Dec 28 14:58:09 2021 +0100
+++ b/GNUmakefile	Wed Dec 29 16:51:13 2021 +0100
@@ -110,6 +110,8 @@
 	tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@
 	-lua-format -i $@
 
+teal: util/jsonschema.lua util/datamapper.lua
+
 util/%.so:
 	$(MAKE) install -C util-src