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
|
include ../support/Makefile.common
# We are using the non-installed library !
COMPFLAGS= -I ../lib -I ../camltk -I ../support
LINKFLAGS= -I ../lib -I ../camltk -I ../support
# Use pieces of Makefile.config
TKLINKOPT=$(LIBNAME).cma $(TKLIBS)
all: addition.exe helloworld.exe winskel.exe socketinput.exe
addition.exe: addition.cmo
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) \
-o $@ addition.cmo
helloworld.exe: helloworld.cmo
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) \
-o $@ helloworld.cmo
winskel.exe: winskel.cmo
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) \
-o $@ winskel.cmo
socketinput.exe: socketinput.cmo
$(CAMLC) -custom $(LINKFLAGS) $(TKLINKOPT) unix.cma \
-o $@ socketinput.cmo
clean :
rm -f *.cm? *.exe
.SUFFIXES :
.SUFFIXES : .mli .ml .cmi .cmo
.mli.cmi:
$(CAMLCOMP) $(COMPFLAGS) $<
.ml.cmo:
$(CAMLCOMP) $(COMPFLAGS) $<
|
