
# Makefile for testing the instances

COQC = coqc
COQFLAGS = -R .. DomTheory -w -notation-overridden

all:
	$(COQC) $(COQFLAGS) paw.v
	$(COQC) $(COQFLAGS) C5.v
	$(COQC) $(COQFLAGS) K5.v
	$(COQC) $(COQFLAGS) G.v
	$(COQC) $(COQFLAGS) petersen.v
	$(COQC) $(COQFLAGS) kneser7_3.v
	$(COQC) $(COQFLAGS) queen5_5.v
	$(COQC) $(COQFLAGS) queen6_6.v
	$(COQC) $(COQFLAGS) myciel4.v
	$(COQC) $(COQFLAGS) myciel5.v

.PHONY: clean

clean:
	rm -f *.glob *.vo

