Commit 2aa7c34f authored by charguer's avatar charguer

modeltype

parent 38d59aeb
##############################################################
# Parameters
CFML := ..
-include $(CFML)/settings.sh
##############################################################
# Files
# We compile only a subset of the files present in the folder
SRC :=\
ModelSep
V := $(SRC:=.v)
##############################################################
# Rules
all: proof
COQINCLUDE := -R $(CFML)/lib/tlc TLC -R $(CFML)/lib/coq CFML -R . MODEL
include $(CFML)/lib/make/Makefile.coq
quick_cf: CFHeader.vio
#####################################################################
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment