Commit 25a8f789 authored by POTTIER Francois's avatar POTTIER Francois

Clean up dead code.

parent 3fa34e62
# CFML := ../../..
# include $(CFML)/Makefile.common
#
# ML := Demo.ml TestDepend_AuxCode.ml TestDepend_MainCode.ml
# PWD := $(shell pwd)
# V := $(wildcard $(PWD)/*.v)
#
# V_AUX := \
# $(wildcard $(TLC)/*.v) \
# $(wildcard $(CFML)/lib/coq/*.v) \
# $(wildcard $(CFML)/lib/stdlib/*.v) \
#
# CFML_FLAGS := -debug
# ML := TestDepend_AuxCode.ml TestDepend_MainCode.ml
# For tests, use:
# ML := Test.ml
# V := $(PWD)/Test_ml.v $(PWD)/Test_proof.v
# To exclude some files:
# V := $(filter-out $(PWD)/Demo_proof.v $(PWD)/Demo_ml.v $(PWD)/Test_proof.v $(PWD)/Test_ml.v, $(wildcard $(PWD)/*.v))
# To include some files:
# V := $(addprefix $(PWD)/, TestDepend_OnlyCoq.v TestDepend_MainCode_proof.v TestDepend_AuxCode_proof.v)
include ../Makefile.example
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