message: Simple check loop in Makefile
diff: @@ -8,10 +8,20 @@ TESTS := test/parse/*.bril \
  examples/test/*/*.bril \
  benchmarks/*.bril
  +CHECKS := test/parse/*.bril \
  + test/interp*/*.bril \
  + test/mem/*.bril \
  + examples/test/*/*.bril \
  + benchmarks/*.bril
  +
  .PHONY: test
  test:
  turnt $(TURNTARGS) $(TESTS)
  +.PHONY: check
  +check:
  + for fn in $(CHECKS) ; do echo $$fn ; bril2json -p < $$fn | brilck ; done
  +
  .PHONY: book
  book:
  rm -rf book
  