From dc5c54fb6fd366b8c442ad8e1b6843294fbc033f Mon Sep 17 00:00:00 2001
From: M Pacer <mpacer@berkeley.edu>
Date: Tue, 15 Aug 2017 18:44:46 -0700
Subject: Add spec.json generator to Makefile

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

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 && \
-- 
cgit v1.2.3