diff options
author | M Pacer <mpacer@berkeley.edu> | 2017-08-15 18:44:46 -0700 |
---|---|---|
committer | M Pacer <mpacer@berkeley.edu> | 2017-08-15 18:44:46 -0700 |
commit | dc5c54fb6fd366b8c442ad8e1b6843294fbc033f (patch) | |
tree | 070d7d08f9f85213414e48b41ad9dbe84eed0daf /Makefile | |
parent | 4ec06917c3a3632be4a935ffa0973092bd2621be (diff) |
Add spec.json generator to Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 && \ |