ALL=Heartbeat.vo
ARCHIVE=HeartbeatProofs.zip
CONTENTS=README Makefile Heartbeat.v
TMPDIR=HeartbeatProofs

.PHONY: all tlc clean distclean release

all: $(ALL)

clean:
	rm -f $(ALL)

distclean: clean
	rm -rf TLC $(ARCHIVE)

%.vo: %.v
	coqc $<

tlc:
	git clone -b coq-8.6 https://gforge.inria.fr/git/tlc/tlc.git TLC
	$(MAKE) -C TLC -j10

release:
	rm -rf $(TMPDIR) && mkdir $(TMPDIR)
	cp $(CONTENTS) $(TMPDIR)
	zip -o $(ARCHIVE) -r $(TMPDIR)/
	rm -rf $(TMPDIR)