Makefile 1.08 KB
Newer Older
charguer's avatar
charguer committed
1

charguer's avatar
charguer committed
2 3
##############################################################################
# CFML setup.
charguer's avatar
charguer committed
4 5 6

CFML := ..

charguer's avatar
charguer committed
7
include $(CFML)/Makefile.common
charguer's avatar
charguer committed
8 9


charguer's avatar
charguer committed
10 11
##############################################################################
# Compilation.
charguer's avatar
charguer committed
12

13 14
# The official list of files that should be compiled by [make]
# and included in the archive by [make export].
15
SRC := $(shell cat FILES)
charguer's avatar
charguer committed
16

charguer's avatar
charguer committed
17
ifeq ($(ARTHUR),1)
charguer's avatar
charguer committed
18
	# Note: double space below is important for export.sh
charguer's avatar
compile  
charguer committed
19
	SRC  := TLCbuffer Fmap SepFunctor SepTactics LambdaSemantics LambdaSep LambdaCF LambdaStruct LambdaSepLifted LambdaCFLifted LambdaStructLifted Example ExampleBasicNonlifted ExampleListNonlifted ExampleBasic  ExampleTrees ExampleUnionFind ExampleHigherOrder LambdaSepCredits LambdaCFCredits LambdaSepRO ExampleList
charguer's avatar
charguer committed
20
endif
charguer's avatar
charguer committed
21

charguer's avatar
charguer committed
22
PWD := $(shell pwd)
charguer's avatar
charguer committed
23

charguer's avatar
charguer committed
24
V := $(addprefix $(PWD)/,$(SRC:=.v))
charguer's avatar
charguer committed
25

charguer's avatar
charguer committed
26 27
COQINCLUDE := \
  -R $(TLC) TLC \
charguer's avatar
charguer committed
28
  -R $(PWD) MODEL
charguer's avatar
charguer committed
29

charguer's avatar
charguer committed
30
include $(TLC)/Makefile.coq
POTTIER Francois's avatar
POTTIER Francois committed
31

POTTIER Francois's avatar
POTTIER Francois committed
32
# Exporting the self-contained archive.
POTTIER Francois's avatar
POTTIER Francois committed
33 34
.PHONY: export

charguer's avatar
charguer committed
35 36 37 38
demo:
	echo ${V}


POTTIER Francois's avatar
POTTIER Francois committed
39 40
export:
	./export.sh
charguer's avatar
charguer committed
41 42

export_francois: export
POTTIER Francois's avatar
POTTIER Francois committed
43
	scp -p -B -C seplogics.tar.gz yquem.inria.fr:public_html/dev/seplogics/
charguer's avatar
charguer committed
44 45