# OASIS_START # DO NOT EDIT (digest: a3c674b4239234cbbe53afe090018954) SETUP = ocaml setup.ml build: setup.data $(SETUP) -build $(BUILDFLAGS) doc: setup.data build $(SETUP) -doc $(DOCFLAGS) test: setup.data build $(SETUP) -test $(TESTFLAGS) all: $(SETUP) -all $(ALLFLAGS) install: setup.data $(SETUP) -install $(INSTALLFLAGS) uninstall: setup.data $(SETUP) -uninstall $(UNINSTALLFLAGS) reinstall: setup.data $(SETUP) -reinstall $(REINSTALLFLAGS) clean: $(SETUP) -clean $(CLEANFLAGS) distclean: $(SETUP) -distclean $(DISTCLEANFLAGS) setup.data: $(SETUP) -configure $(CONFIGUREFLAGS) configure: $(SETUP) -configure $(CONFIGUREFLAGS) .PHONY: build doc test all install uninstall reinstall clean distclean configure # OASIS_STOP QTEST_PREAMBLE='' DONTTEST=src/sequenceLabels.ml QTESTABLE=$(filter-out $(DONTTEST), \ $(wildcard src/*.ml) \ $(wildcard src/*.mli) \ ) qtest-clean: @rm -rf qtest/ qtest-gen: @mkdir -p qtest @if which qtest > /dev/null ; then \ qtest extract --preamble $(QTEST_PREAMBLE) \ -o qtest/run_qtest.ml \ $(QTESTABLE) 2> /dev/null ; \ else touch qtest/run_qtest.ml ; \ fi examples: ocamlbuild examples/test_sexpr.native push_doc: all doc scp -r sequence.docdir/* cedeela.fr:~/simon/root/software/sequence/ push_stable: all git checkout stable git merge master -m 'merge from master' oasis setup git commit -a -m 'oasis files' git push origin git checkout master VERSION=$(shell awk '/^Version:/ {print $$2}' _oasis) update_next_tag: @echo "update version to $(VERSION)..." sed -i "s/NEXT_VERSION/$(VERSION)/g" src/*.ml src/*.mli sed -i "s/NEXT_RELEASE/$(VERSION)/g" src/*.ml src/*.mli watch: while find src/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \ echo "============ at `date` ==========" ; \ sleep 0.2; \ make all; \ done .PHONY: benchs tests examples update_next_tag push_doc push_stable watch