GNUmakefile
changeset 12135 b4c0efff8dd3
parent 12134 c4ca226ff386
child 12317 469e4453ed01
child 12358 3ce3633527af
--- a/GNUmakefile	Wed Dec 29 16:51:13 2021 +0100
+++ b/GNUmakefile	Wed Dec 29 16:52:09 2021 +0100
@@ -110,7 +110,7 @@
 	tl -I teal-src/ --gen-compat off --gen-target 5.1 gen $^ -o $@
 	-lua-format -i $@
 
-teal: util/jsonschema.lua util/datamapper.lua
+teal: util/jsonschema.lua util/datamapper.lua util/jsonpointer.lua
 
 util/%.so:
 	$(MAKE) install -C util-src