Makefile - cohpred - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/Makefile

blob: e01e71ebda6b3b7a3699a95df201741d8dfe0d5b (plain)

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