Add [make gospel].

This commit is contained in:
François Pottier 2022-02-15 17:16:29 +01:00
parent fc33d84f6f
commit ee0da18b30
1 changed files with 4 additions and 0 deletions

View File

@ -1,3 +1,7 @@
.PHONY: all
all:
dune build @check
.PHONY: gospel
gospel:
gospel check InfiniteArray.mli