1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
ifndef CAMLP4_VERSION
CAMLP4_VERSION = \
$(shell if `which camlp4orf 2>/dev/null`; then echo 310; else echo 309; fi)
endif
export CAMLP4_VERSION
ifndef CAMLP4ORF
ifeq ($(CAMLP4_VERSION),309)
CAMLP4ORF = camlp4o pa_extend.cmo q_MLast.cmo
else
CAMLP4ORF = camlp4orf
endif
endif
export CAMLP4ORF
ifndef CAMLP4RF
ifeq ($(CAMLP4_VERSION),309)
CAMLP4RF = camlp4r pa_extend.cmo q_MLast.cmo
else
CAMLP4RF = camlp4rf
endif
endif
export CAMLP4RF
ifndef PR_O
ifeq ($(CAMLP4_VERSION),309)
PR_O = pr_o.cmo
else
PR_O = -printer o
endif
endif
export PR_O
ifndef PR_R
ifeq ($(CAMLP4_VERSION),309)
PR_R = pr_r.cmo
else
PR_R = -printer r
endif
endif
export PR_R
ifndef PARSER
ifeq ($(CAMLP4_VERSION),309)
PARSER =
else
PARSER = -parser
endif
endif
export PARSER
ifndef PRINTER
ifeq ($(CAMLP4_VERSION),309)
PRINTER =
else
PRINTER = -printer
endif
endif
export PRINTER
|
