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