]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / Makefile
1 # Makefile for lablgtk_mathview.
2
3 LABLGTKDIR = /usr/local/lib/ocaml/lablgtk
4 MLFLAGS += -I $(LABLGTKDIR)
5
6 TARGETS = ml_gtk_mathview.o lablgtkmathview.cma
7
8 all: $(TARGETS)
9
10 opt: lablgtkmathviewopt
11
12 configure:
13         @rm -f config.make
14         @$(MAKE) --no-print-directory -f configure.mk
15
16 depend:
17         @rm -f .depend
18         @$(MAKE) --no-print-directory -f configure.mk .depend
19
20 .depend config.make:
21         @$(MAKE) --no-print-directory -f configure.mk
22
23 COMPILER = $(CAMLC) $(MLFLAGS) -w s -labels -c
24 LINKER = $(CAMLC) $(MLFLAGS)
25 COMPOPT = $(CAMLOPT) $(MLFLAGS) -w s -labels -c
26 LINKOPT = $(CAMLOPT) $(MLFLAGS)
27
28 include config.make
29
30 INSTALLDIR = $(LIBDIR)/lablgtk/mathview
31
32 MLLIBS = lablgtkmathview.cma
33 CLIBS = 
34 MLLINK = unix.cma str.cma
35
36 ifdef DEBUG
37 CFLAGS = -g $(GTKCFLAGS)
38 MLLINK += -cclib -lcamlrund
39 MLFLAGS += -g
40 else
41 CFLAGS = -O -DGTK_NO_CHECK_CASTS -DGTK_DISABLE_COMPAT_H $(GTKCFLAGS)
42 endif
43
44 THFLAGS = -thread
45 THLINK = unix.cma threads.cma
46
47 ifdef USE_CC
48 CCOMPILER = $(CC) -c -I$(LIBDIR) $(CFLAGS)
49 else
50 CCOMPILER = ocamlc -c -ccopt "$(CFLAGS)"
51 endif
52
53 # Rules
54 .SUFFIXES: .ml .mli .cmo .cmi .cmx .c .o .var .h .opt .def
55 .c.o:
56         $(CCOMPILER) $<
57 .ml.cmo:
58         $(COMPILER) $<
59 .mli.cmi:
60         $(COMPILER) $<
61 .ml.cmx:
62         $(COMPOPT) $<
63 .var.h:
64         ./var2def < $< > $@
65 .var.c:
66         ./var2conv < $< > $@
67
68 # Targets
69 COBJS = ml_gtk_mathview.o
70 MLOBJS = gtk_mathview.cmo gtkMathView.cmo gMathView.cmo
71 ALLOBJS = $(MLOBJS)
72
73 lablgtkmathviewopt: $(CLIBS) $(MLLIBS:.cma=.cmxa)
74
75 install:
76         if test -d $(INSTALLDIR); then : ; else mkdir -p $(INSTALLDIR); fi
77         cp $(ALLOBJS:.cmo=.cmi) $(INSTALLDIR)
78         if test -f *.mli ; then cp *.mli $(INSTALLDIR) ; fi
79         cp $(ALLOBJS:.cmo=.ml) $(INSTALLDIR)
80         cp $(MLLIBS) $(INSTALLDIR)
81         cp $(COBJS) $(INSTALLDIR)
82         if test ! -z "$(CLIBS)" ; then cp $(CLIBS) $(INSTALLDIR) ; fi
83         if test -f lablgtkmathview.cmxa; then \
84            cp $(MLLIBS:.cma=.cmxa) $(MLLIBS:.cma=.a) \
85               $(INSTALLDIR); fi
86
87 lablgtkmathview.cma: $(MLOBJS)
88         $(LINKER) -a -custom -o $@ $(MLOBJS) $(GTKLIBS) $(GTKMATHVIEWLIBS)
89 lablgtkmathview.cmxa: $(MLOBJS:.cmo=.cmx)
90         $(LINKOPT) -a -o $@ $(MLOBJS:.cmo=.cmx) $(GTKLIBS) $(GTKMATHVIEWLIBS)
91
92 ml_gtk.o: $(LABLGTKDIR)/gtk_tags.c $(LABLGTKDIR)/gtk_tags.h \
93           $(LABLGTKDIR)/ml_gtk.h $(LABLGTKDIR)/ml_gdk.h $(LABLGTKDIR)/wrappers.h
94
95 clean:
96         rm -f *.cm* *.o *.a *_tags.[ch] $(TARGETS)
97
98 include .depend