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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
##############################################################################
# Variables
##############################################################################
ifneq ($(MAKECMDGOALS),distclean)
include ../Makefile.config
-include ../Makefile.local
endif
TARGET=cocciocaml
SRC=externalanalysis.ml \
exposed_modules.ml coccilib.ml ocamlcocci_aux.ml $(OCAMLCOCCI_FILE) \
prepare_ocamlcocci.ml run_ocamlcocci.ml
#LIBS=../commons/commons.cma ../parsing_c/parsing_c.cma
#INCLUDES= -I ../commons -I ../parsing_c
INCLUDES = -I ../commons -I ../commons/ocamlextra -I ../globals \
-I ../parsing_cocci -I ../parsing_c -I ../engine
LIBS=../commons/commons.cma ../globals/globals.cma \
../parsing_c/parsing_c.cma ../parsing_cocci/cocci_parser.cma
SYSLIBS= str.cma unix.cma
##############################################################################
# Generic variables
##############################################################################
#for warning: -w A
#for profiling: -p -inline 0 with OCAMLOPT
OCAMLCFLAGS ?= -g
OPTFLAGS ?= -g
OCAMLC_CMD=$(OCAMLC) $(OCAMLCFLAGS) $(INCLUDES)
OCAMLOPT_CMD=$(OCAMLOPT) $(OPTFLAGS) $(INCLUDES)
OCAMLDEP_CMD=$(OCAMLDEP) $(INCLUDES)
OCAMLMKTOP_CMD=$(OCAMLMKTOP) -g -custom $(INCLUDES)
OBJS = $(SRC:.ml=.cmo)
OPTOBJS = $(SRC:.ml=.cmx)
##############################################################################
# Top rules
##############################################################################
all: $(TARGET).cma
all.opt:
@$(MAKE) $(TARGET).cmxa BUILD_OPT=yes
$(TARGET).cma: $(OBJS)
$(OCAMLC_CMD) -a -o $(TARGET).cma $(OBJS)
for i in `grep " (\*" exposed_modules.ml | sed "s/^.*(\* //" | sed "s/\..* \*)$$//"`; do cp ../$$i.cmi .; done
$(TARGET).cmxa: $(OPTOBJS) $(LIBS:.cma=.cmxa)
$(OCAMLOPT_CMD) -a -o $(TARGET).cmxa $(OPTOBJS)
for i in `grep " (\*" exposed_modules.ml | sed "s/^.*(\* //" | sed "s/\..* \*)$$//"`; do cp ../$$i.cmi .; done
for i in `grep " (\*" exposed_modules.ml | sed "s/^.*(\* //" | sed "s/\..* \*)$$//"`; do cp ../$$i.cmx .; done
$(TARGET).top: $(OBJS) $(LIBS)
$(OCAMLMKTOP_CMD) -o $(TARGET).top $(SYSLIBS) $(LIBS) $(OBJS)
clean::
rm -f $(TARGET).top
include Makefile.doc
##############################################################################
# Pad's rules
##############################################################################
##############################################################################
# Generic rules
##############################################################################
.SUFFIXES: .ml .mli .cmo .cmi .cmx
.ml.cmo:
$(OCAMLC_CMD) -c $<
.mli.cmi:
$(OCAMLC_CMD) -c $<
.ml.cmx:
$(OCAMLOPT_CMD) -c $<
.ml.mldepend:
$(OCAMLC_CMD) -i $<
clean::
rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
rm -f *~ .*~ gmon.out #*#
rm -f .depend
distclean: clean
rm -f coccilib/coccilib.cmi
.depend depend:
$(OCAMLDEP_CMD) *.mli *.ml > .depend
ifneq ($(MAKECMDGOALS),clean)
ifneq ($(MAKECMDGOALS),distclean)
ifneq ($(MAKECMDGOALS),cleandoc)
-include .depend
endif
endif
endif
include ../Makefile.common
|