dune_wrap = $(shell command -v coqc > /dev/null || echo "etc/with-rocq-wrap.sh")
dune = $(dune_wrap) dune $(1) $(DUNE_$(1)_FLAGS) --stop-on-first-error

# This makefile is mostly calling dune and dune doesn't like
# being called in parralel, so we enforce -j1
.NOTPARALLEL:

all:
	$(call dune,build)
	$(call dune,build) builtin-doc
.PHONY: all

build-core:
	$(call dune,build) theories
	$(call dune,build) builtin-doc
.PHONY: build-core

build-apps:
	$(call dune,build) $$(find apps -type d -name theories)
.PHONY: build-apps

build:
	$(call dune,build) -p rocq-elpi @install
	$(call dune,build) builtin-doc
.PHONY: build

all-tests-no-plugins: test-core test-stdlib test-apps test-apps-stdlib
.PHONY: all-tests-no-plugins

all-tests: all-tests-no-plugins test-plugins
.PHONY: all-tests

test-core:
	$(call dune,runtest) tests
	$(call dune,build) tests
	# Check for build reproducibility
	md5sum _build/default/tests/accumulate1.vo > md5sum_accumulate1vo_1
	rm -f _build/default/tests/accumulate1.vo
	$(call dune,build) --cache=disabled tests
	md5sum _build/default/tests/accumulate1.vo > md5sum_accumulate1vo_2
	diff md5sum_accumulate1vo_1 md5sum_accumulate1vo_2
	rm md5sum_accumulate1vo_1 md5sum_accumulate1vo_2
.PHONY: test-core

test-apps:
	$(call dune,build) $$(find apps -type d -name tests)
.PHONY: test-apps

test-plugins:
	$(call dune,build) $$(find apps -type d -name tests-plugin)
.PHONY: test-plugins

test-apps-stdlib:
	$(call dune,build) $$(find apps -type d -name tests-stdlib)
.PHONY: test-apps-stdlib

test-stdlib:
	$(call dune,build) tests-stdlib
.PHONY: test-stdlib

all-examples: examples examples-stdlib
.PHONY: all-examples

examples:
	$(call dune,build) examples
.PHONY: examples

examples-stdlib:
	$(call dune,build) examples-stdlib
.PHONY: examples-stdlib

doc:
	@echo "########################## generating doc ##########################"
	@python3 -m venv alectryon
	@alectryon/bin/pip3 install git+https://github.com/gares/alectryon.git@4509235b1b83b256fd15d8dff92ac71666f419a1
	@mkdir -p doc
	@$(foreach tut,$(wildcard examples/tutorial*$(ONLY)*.v),\
		echo ALECTRYON $(tut) && alectryon/bin/python3 etc/alectryon_elpi.py \
		    --frontend coq+rst \
			--output-directory doc \
		    --pygments-style vs \
			--coq-driver vsrocq \
			$(tut) &&) true
	@cp etc/tracer.png doc/

clean:
	$(call dune,clean)
.PHONY: clean

install:
	$(call dune,install) rocq-elpi
.PHONY: install

nix:
	nix-shell --arg do-nothing true --run "updateNixToolBox && genNixActions"
.PHONY: nix
