# [make] compiles Menhir.

.PHONY: all
all:
	@ cd .. && dune build @check
