Makefile 579 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1

charguer's avatar
charguer committed
2 3 4 5 6 7 8 9 10 11 12 13
##############################################################
# Parameters

CFML := ../..

-include $(CFML)/settings.sh


##############################################################
# Files

# We compile only a subset of the files present in the folder 
charguer's avatar
charguer committed
14 15 16 17

SRC :=\
   Shared \
	CFHeaps \
charguer's avatar
charguer committed
18
	CFApp \
charguer's avatar
charguer committed
19 20
	CFPrint \
	CFTactics \
charguer's avatar
charguer committed
21
	CFHeader \
charguer's avatar
charguer committed
22
	CFRep \
charguer's avatar
charguer committed
23 24 25 26
	CFLib 

# CFLibCredits \
# CFLibCreditsNat
charguer's avatar
charguer committed
27 28 29

V := $(SRC:=.v)

30

charguer's avatar
charguer committed
31 32
##############################################################
# Rules
33

charguer's avatar
charguer committed
34
all: proof
charguer's avatar
charguer committed
35

charguer's avatar
charguer committed
36
COQINCLUDE := -R $(CFML)/lib/tlc TLC -R . CFML
37

charguer's avatar
makefix  
charguer committed
38
include $(CFML)/lib/make/Makefile.coq