This repository has been archived by the owner on Jun 4, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 204
/
Makefile
69 lines (50 loc) · 1.89 KB
/
Makefile
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
TOP=../..
##############################################################################
# Variables
##############################################################################
TARGET=lib
SRC= \
highlight_nw.ml \
test_analyze_nw.ml
-include $(TOP)/Makefile.config
SYSLIBS= str.cma unix.cma $(PCRECMA)
LIBS=$(TOP)/commons/commons.cma \
$(TOP)/h_program-lang/lib.cma \
$(TOP)/h_version-control/lib.cma \
../parsing/lib.cma \
MAKESUBDIRS=
INCLUDEDIRS= $(TOP)/commons \
$(TOP)/commons/ocollection $(TOP)/commons/ocamlextra \
$(TOP)/commons/lib-json \
$(TOP)/external/ocamlpcre/lib \
$(TOP)/h_program-lang $(TOP)/h_version-control \
$(TOP)/globals \
../parsing \
##############################################################################
# Generic variables
##############################################################################
-include $(TOP)/Makefile.common
##############################################################################
# Top rules
##############################################################################
all:: rec $(TARGET).cma
all.opt:: rec.opt $(TARGET).cmxa
rec:
set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i all || exit 1; done
rec.opt:
set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i all.opt || exit 1; done
clean::
set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i clean; done
depend::
set -e; for i in $(MAKESUBDIRS); do $(MAKE) -C $$i depend; done
$(TARGET).cma: $(OBJS)
$(OCAMLC) -a -o $(TARGET).cma $(OBJS)
$(TARGET).cmxa: $(OPTOBJS) $(LIBS:.cma=.cmxa)
$(OCAMLOPT) -a -o $(TARGET).cmxa $(OPTOBJS)
$(TARGET).top: $(OBJS) $(LIBS)
$(OCAMLMKTOP) -o $(TARGET).top $(SYSLIBS) $(LIBS) $(OBJS)
clean::
rm -f $(TARGET).top
##############################################################################
# Literate Programming rules
##############################################################################