This commit is contained in:
Simon Cruanes 2023-04-09 14:59:19 -04:00
parent 9261e654e7
commit fd760d44a3
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -30,9 +30,9 @@ update_next_tag:
sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli) sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli) sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
WATCH?="@src/all @tests/runtest" WATCH?=@src/all @tests/runtest
watch: watch:
@dune build "$(WATCH)" -w @dune build $(WATCH) -w
reindent: reindent:
@which ocp-indent || ( echo "require ocp-indent" ; exit 1 ) @which ocp-indent || ( echo "require ocp-indent" ; exit 1 )