Makefile

include Makefile.ml-files

all: default

default: Makefile.coq
	$(MAKE) -f Makefile.coq

quick: Makefile.coq
	$(MAKE) -f Makefile.coq quick

coqdoc: Makefile.coq
	$(MAKE) -f Makefile.coq coqdoc

install: Makefile.coq
	$(MAKE) -f Makefile.coq install

clean: Makefile.coq
	$(MAKE) -f Makefile.coq cleanall
	rm -f Makefile.coq Makefile.coq.conf
	$(MAKE) -C extraction/impacted clean
	$(MAKE) -C extraction/impacted-rbt clean

impacted:
	+$(MAKE) -C extraction/impacted filtering.native topfiltering.native hierarchical.native

impacted-rbt:
	+$(MAKE) -C extraction/impacted-rbt filtering.native topfiltering.native hierarchical.native

Makefile.coq: _CoqProject
	coq_makefile -f _CoqProject -o Makefile.coq

$(IMPACTEDML) $(IMPACTEDRBTML): Makefile.coq
	$(MAKE) -f Makefile.coq $@

resources/index.html: resources/index.md
	pandoc -s -o $@ $<

.PHONY: all default quick clean impacted coqdoc $(IMPACTEDML) $(IMPACTEDRBTML)

.NOTPARALLEL: $(IMPACTEDML)
.NOTPARALLEL: $(IMPACTEDRBTML)