]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / applications / radtest / Makefile
1 # $Id$
2 # Makefile for lablgtk.
3
4 all: radtest
5
6 CAMLC = ocamlc
7 CAMLOPT = ocamlopt
8 COMPILER = $(CAMLC) $(MLFLAGS) -c
9 LINKER = $(CAMLC) $(MLFLAGS)
10 COMPOPT = $(CAMLOPT) $(MLFLAGS) -c
11 LINKOPT = $(CAMLOPT) $(MLFLAGS)
12
13 RANLIB = ranlib
14
15 include ../../config.make
16
17 MLFLAGS = -I ../.. -w s -labels
18
19 ifdef DEBUG
20 CFLAGS = -g $(GTKCFLAGS)
21 MLFLAGS += -g
22 else
23 CFLAGS = -O -DGTK_NO_CHECK_CASTS -DGTK_DISABLE_COMPAT_H $(GTKCFLAGS)
24 endif
25
26 ifdef USE_CC
27 CCOMPILER = $(CC) -c -I$(LIBDIR) $(CFLAGS)
28 else
29 CCOMPILER = ocamlc -c -ccopt "$(CFLAGS)"
30 endif
31
32
33 # Rules
34 .SUFFIXES: .ml .mli .cmo .cmi .cmx .c .o .var .h .opt .def
35 .c.o:
36         $(CCOMPILER) $<
37 .ml.cmo:
38         $(COMPILER) $<
39 .mli.cmi:
40         $(COMPILER) $<
41 .ml.cmx:
42         $(COMPOPT) $<
43
44 # Targets
45 MLOBJS = utils.cmo property.cmo propwin.cmo \
46         load_parser.cmo load_lexer.cmo tiBase.cmo tiContainer.cmo tiBin.cmo \
47         tiButton.cmo tiEdit.cmo tiList.cmo tiMisc.cmo tiPack.cmo tiWindow.cmo \
48         tiWidget.cmo main.cmo
49
50 MLSRC = common.mli utils.ml property.mli property.ml propwin.mli \
51         propwin.ml \
52         load_parser.ml load_lexer.ml tiBase.ml tiContainer.ml tiBin.ml \
53         tiButton.ml tiEdit.ml tiList.ml tiMisc.ml tiPack.ml tiWindow.ml \
54         tiWidget.ml main.ml
55
56 radtest: $(MLOBJS)  libgtk2.a gtk2.cma
57         $(LINKER) -o $@ lablgtk.cma gtkInit.cmo -I . gtk2.cma \
58             $(MLOBJS)
59
60 radtestopt: $(MLOBJS:.cmo=.cmx) libgtk2.a gtk2.cmxa
61         $(LINKOPT) -o $@ lablgtk.cmxa gtkInit.cmx -I . gtk2.cmxa \
62             $(MLOBJS:.cmo=.cmx)
63
64 %.mli %.ml: %.mly
65         ocamlyacc $<
66
67 %.ml: %.mll
68         ocamllex $<
69
70 libgtk2.a: gtktree2.o gtktreeitem2.o ml_gtk2.o
71         ar rc $@ gtktree2.o gtktreeitem2.o ml_gtk2.o
72         $(RANLIB) $@
73
74 gtk2.cma: gtkTree2.cmo gTree2.cmo gToolbar2.cmo libgtk2.a
75         $(LINKER) -a -o $@ gtkTree2.cmo gTree2.cmo gToolbar2.cmo -cclib -lgtk2
76
77 gtk2.cmxa: gtkTree2.cmx gTree2.cmx gToolbar2.cmx libgtk2.a
78         $(LINKOPT) -a -o $@ gtkTree2.cmx gTree2.cmx gToolbar2.cmx -cclib -lgtk2
79
80 clean:
81         rm -f *.cm* *.o *.a radtest *_parser.ml *_parser.mli *_lexer.ml
82
83 .depend: $(MLSRC) load_parser.ml load_lexer.ml
84         ocamldep $(MLSRC) load_parser.ml* load_lexer.ml* > .depend
85
86 include .depend