VS := $(wildcard src/*.v)

all: Makefile.coq
	make -f Makefile.coq src/Predicate.vo

Makefile.coq:
	coq_makefile -R src TVSMT $(VS) -o Makefile.coq