Add Makefile target to validate JSON

ThinkOpenly · Jun 17, 2024 · acef250 · acef250
1 parent 5f41034
commit acef250
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -206,6 +206,10 @@ all: ocaml_emulator/riscv_ocaml_sim_$(ARCH) c_emulator/riscv_sim_$(ARCH)
 json: $(SAIL_SRCS) model/main.sail Makefile
 	@sail -json $(SAIL_FLAGS) $(SAIL_SRCS)
 
+.PHONY: check-json
+check-json:
+	sail -json $(SAIL_FLAGS) $(SAIL_SRCS) | python3 -c "import json; import sys; j=json.load(sys.stdin)"
+
 output: $(SAIL_SRCS) model/main.sail Makefile
 	sail -output-sail $(SAIL_FLAGS) $(SAIL_SRCS)