# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1640793073 -3600
# Node ID c4ca226ff3864332e4f791cb776ece568e6d3ca9
# Parent  7a68d5828f3bf031794043984337c47ba749c350
make: Add target for rebuilding from Teal sources

diff -r 7a68d5828f3b -r c4ca226ff386 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