makefile help

This commit is contained in:
Simon Cruanes 2018-02-03 15:38:47 -06:00
parent b340c3dc6c
commit 04d10c2711

View file

@ -5,7 +5,7 @@ build:
jbuilder build @install jbuilder build @install
test: build test: build
jbuilder runtest --no-buffer jbuilder runtest --no-buffer --force
clean: clean:
jbuilder clean jbuilder clean
@ -28,6 +28,12 @@ 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)
release: update_next_tag
@echo "release version $(VERSION)..."
git tag -f $(VERSION) ; git push origin :$(VERSION) ; git push origin $(VERSION)
opam publish prepare https://github.com/c-cube/qcheck/archive/$(VERSION).tar.gz
@echo "review the release, then type 'opam publish submit qcheck.$(VERSION)/'"
watch: watch:
while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \ while find src/ benchs/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
echo "============ at `date` ==========" ; \ echo "============ at `date` ==========" ; \