Makefile

J?=3

all: build test-cached

build:
	@jbuilder build @install -j $J

clean:
	@jbuilder clean

doc:
	@jbuilder build @doc

test:
	@jbuilder runtest --no-buffer -j $J -f

test-cached:
	@jbuilder runtest --no-buffer -j $J
# ./tests/quick/all.sh # FIXME?

test-long:
	@echo "run qcheck tests with --long"
	@./tests/run_tests.sh -only-test 1:qcheck -qcheck-long true

test-unit:
	@./tests/run_tests.sh -only-test 0:unit

test-list:
	@./tests/run_tests.sh -list-test
	@echo "to run a particular test: ./tests/run_tests.sh -only-test <path>

open_doc: doc
	xdg-open _build/default/_doc/index.html

rst_doc:
	@echo "build Sphinx documentation (into _build/doc)"
	sphinx-build doc _build/doc
	mkdir -p gh-pages/rst/
	cp -r _build/doc/*.html _build/doc/*.js _build/doc/_static gh-pages/rst

open_rst_doc: rst_doc
	xdg-open _build/doc/contents.html

push_doc: doc rst_doc
	rsync -tavu logtk.docdir/* cedeela.fr:~/simon/root/software/logtk/
	rsync -tavu _build/doc/* cedeela.fr:~/simon/root/software/logtk/rst/

INTERFACE_FILES = $(shell find src -name '*.mli')
IMPLEMENTATION_FILES = $(shell find src -name '*.ml')
VERSION=$(shell awk '/^version:/ {print $$2}' zipperposition.opam)

update_next_tag:
	@echo "update version to $(VERSION)..."
	zsh -c 'sed -i "s/NEXT_VERSION/$(VERSION)/g" src/**/*.ml{,i}(.)'
	zsh -c 'sed -i "s/NEXT_RELEASE/$(VERSION)/g" src/**/*.ml{,i}(.)'

TEST_FILES=tests/ examples/
TEST_TOOL=logitest
TEST_OPTS?= -j $(J) --junit test.xml
DATE=$(shell date +%FT%H:%M)

check-test-tool:
	@if ` which $(TEST_TOOL) > /dev/null ` ; then true ; else echo "install $(TEST_TOOL)"; exit 1; fi

$(TEST_TOOL): check-test-tool
	$(TEST_TOOL) run -c ./tests/conf.toml $(TEST_OPTS) $(TEST_FILES) \
	  --summary snapshots/full-$(DATE).txt \
	  --csv snapshots/full-$(DATE).csv \

$(TEST_TOOL)-zipper:
	@mkdir -p snapshots
	$(TEST_TOOL) run -p zipperposition,zipperposition-check -c ./tests/conf.toml \
	  --summary snapshots/zipper-$(DATE).txt \
	  --csv snapshots/zipper-$(DATE).csv \
	  $(TEST_OPTS) $(TEST_FILES)

tip-benchmarks:
	git submodule update --init tip-benchmarks

$(TEST_TOOL)-tip: check-test-tool tip-benchmarks
	@[ -d tip-benchmarks ] || (echo "missing tip-benchmarks/" && exit 1)
	@mkdir -p snapshots
	$(TEST_TOOL) run --meta=`git rev-parse HEAD` -c ./data/tip.toml \
	  --summary snapshots/tip-$(DATE).txt \
	  --csv snapshots/tip-$(DATE).csv \
	  $(TEST_OPTS)

# restricted version of $(TEST_TOOL)-tip
$(TEST_TOOL)-tip-isaplanner: check-test-tool tip-benchmarks
	@[ -d tip-benchmarks ] || (echo "missing tip-benchmarks/" && exit 1)
	@mkdir -p snapshots
	$(TEST_TOOL) run --meta=`git rev-parse HEAD` -c ./data/tip.toml \
	  --summary snapshots/tip-isa-$(DATE).txt \
	  --csv snapshots/tip-isa-$(DATE).csv \
	  $(TEST_OPTS) tip-benchmarks/benchmarks/isaplanner/

$(TEST_TOOL)-thf: check-test-tool
	@mkdir -p snapshots
	$(TEST_TOOL) run -c data/bench.toml --profile=thf  \
	  --summary snapshots/thf-$(DATE).txt \
	  --csv snapshots/thf-$(DATE).csv \
	  $(TEST_OPTS)

BENCH_DIR="bench-$(shell date -Iminutes)"
$(TEST_TOOL)-tptp:
	@echo "start benchmarks in ${BENCH_DIR}"
	@mkdir -p snapshots
	mkdir -p ${BENCH_DIR}
	cp zipperposition.native ${BENCH_DIR}/
	ln -s ../tptp/ ${BENCH_DIR}/tptp
	cp data/bench.toml ${BENCH_DIR}/conf.toml
	cd ${BENCH_DIR} && $(TEST_TOOL) run --meta=`git rev-parse HEAD` \
	  --summary ../snapshots/bench-$(DATE).txt \
	  --csv ../snapshots/bench-$(DATE).csv \
	  -c conf.toml $(TEST_OPTS)

TARBALL=zipperposition.tar.gz

package: clean
	rm $(TARBALL) || true
	oasis setup
	tar cavf $(TARBALL) Makefile pelletier_problems README.md src/ tests/ utils/

WATCH?=all
watch:
	while find src/ tests/ -print0 | xargs -0 inotifywait -e delete_self -e modify ; do \
		echo "============ at `date` ==========" ; \
		make $(WATCH); \
	done

ocp-indent:
	@which ocp-indent > /dev/null || { \
	  	echo 'ocp-indent not found; please run `opam install ocp-indent`'; \
		exit 1 ; \
	  }

reindent: ocp-indent
	@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 echo "reindenting: "
	@find src '(' -name '*.ml' -or -name '*.mli' ')' -print0 | xargs -0 ocp-indent -i

gallery.svg:
	for i in gallery/*.dot ; do dot -Tsvg "$$i" > "gallery/`basename $${i} .dot`.svg" ; done

.PHONY: doc push_doc dot package tags rst_doc open_doc test-all