]> matita.cs.unibo.it Git - helm.git/blob - components/binaries/table_creator/Makefile
tagged 0.5.0-rc1
[helm.git] / components / binaries / table_creator / Makefile
1 H=@
2
3 REQUIRES = mysql helm-metadata
4
5 INTERFACE_FILES = 
6 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) 
7 EXTRA_OBJECTS_TO_INSTALL =
8 EXTRA_OBJECTS_TO_CLEAN = \
9         table_creator table_creator.opt table_destructor table_destructor.opt
10
11 all: table_creator table_destructor
12         $(H)echo -n
13 opt: table_creator.opt table_destructor.opt
14         $(H)echo -n
15
16 table_creator: table_creator.ml 
17         $(H)echo "    OCAMLC $<"
18         $(H)$(OCAMLFIND) ocamlc \
19                 -thread -package mysql,helm-metadata -linkpkg -rectypes -o $@ $<
20
21 table_destructor: table_creator
22         $(H)ln -f $< $@
23
24 table_creator.opt: table_creator.ml
25         $(H)echo "    OCAMLOPT $<"
26         $(H)$(OCAMLFIND) ocamlopt \
27                 -thread -package mysql,helm-metadata -linkpkg -rectypes -o $@ $<
28
29 table_destructor.opt: table_creator.opt
30         $(H)ln  -f $< $@
31
32 clean:
33         $(H)rm -f *.cm[iox] *.a *.o
34         $(H)rm -f table_creator table_creator.opt \
35                 table_destructor table_destructor.opt
36
37 depend: 
38         $(H)echo "  OCAMLDEP"
39         $(H)ocamldep table_creator.ml > .depend
40 depend.opt: 
41         $(H)echo "  OCAMLDEP -native"
42         $(H)ocamldep -native table_creator.ml > .depend.opt
43
44 ifeq ($(MAKECMDGOALS),)
45   include .depend   
46 endif
47
48 ifeq ($(MAKECMDGOALS), all)
49   include .depend   
50 endif
51
52 ifeq ($(MAKECMDGOALS), opt)
53   include .depend.opt   
54 endif
55
56 include ../../../Makefile.defs