aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-08-16 11:37:58 -0700
committerGitHub <noreply@github.com>2017-08-16 11:37:58 -0700
commitbe0089d79840e0b12c113f745e505244ede1efaa (patch)
tree070d7d08f9f85213414e48b41ad9dbe84eed0daf
parent4ec06917c3a3632be4a935ffa0973092bd2621be (diff)
parentdc5c54fb6fd366b8c442ad8e1b6843294fbc033f (diff)
Merge pull request #489 from mpacer/json_make
Add spec.json generator to Makefile
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 405fa38..c37182e 100644
--- a/Makefile
+++ b/Makefile
@@ -17,6 +17,9 @@ spec.tex: spec.txt tools/template.latex
spec.pdf: spec.tex
xelatex $<
+spec.json: spec.txt
+ python3 test/spec_tests.py --dump-tests < $< > $@
+
npm:
# Do a sanity check first on versions
grep -q '"version": *"$(SPECVERSION)' package.json && \