1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
|
ALL_TARGETS := all.otarget
ALL_TARGETS += $(if $(shell sh -c "command -v ocamlopt"),all-native.otarget)
minimal:
rm -f _build/BUILD
ocamlbuild minimal.otarget
all:
rm -f _build/BUILD
ocamlbuild $(ALL_TARGETS)
check: minimal
demo/demo.sh
demo/demo-threshold.sh
clean:
-ocamlbuild -clean
rm -rf _build
rm -f *~
tree: _build/tree.html
_build/tree.html: _build/_digests
mkdir -p _build
tree -o $@ -H '..' -I '_build|_run|*~'
.PHONY: doc
doc:
ocamlbuild doc.otarget
$(MAKE) doc/specification.pdf
doc/specification.pdf: doc/specification.tex
cd doc && for u in 1 2 3; do pdflatex specification.tex; done
archive:
@if [ `git status --porcelain | grep -v '^?? ' | wc -l ` -eq 0 ]; then \
COMMIT_ID=`git describe --tags`; \
VERSION=`cat VERSION`; \
if [ "$$(printf $$COMMIT_ID | head -c$$(printf $$VERSION | wc -c))" = "$$VERSION" ]; then \
git archive --prefix=belenios-$$COMMIT_ID/ $$COMMIT_ID | gzip -9n > ../belenios-$$COMMIT_ID.tar.gz; \
ln -sf belenios-$$COMMIT_ID.tar.gz ../belenios.tar.gz; \
ls -l ../belenios.tar.gz; \
else \
echo "VERSION is not up-to-date!"; exit 1; \
fi; \
else \
echo "The tree is not clean!"; exit 1; \
fi
|