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