aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorM Pacer <mpacer@berkeley.edu>2017-08-15 18:44:46 -0700
committerM Pacer <mpacer@berkeley.edu>2017-08-15 18:44:46 -0700
commitdc5c54fb6fd366b8c442ad8e1b6843294fbc033f (patch)
tree070d7d08f9f85213414e48b41ad9dbe84eed0daf /Makefile
parent4ec06917c3a3632be4a935ffa0973092bd2621be (diff)
Add spec.json generator to Makefile
Diffstat (limited 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 && \