QC=quickChick -color
TMP_DIR=../_qc_pyml.tmp
V=@

all: Makefile.coq
	$V$(MAKE) -f $<

test:
	time $(QC)

Makefile.coq: _CoqProject
	$Vcoq_makefile -o $@ -f $<

clean:
	$Vif [ -e Makefile.coq ]; then $(MAKE) -f Makefile.coq clean; fi
	$V$(RM) -r *~ .*.aux Makefile.coq* *.pyc __pycache__ \
		$(TMP_DIR) $(EXTR_BIN)
