]> matita.cs.unibo.it Git - helm.git/blob - components/binaries/table_creator/Makefile
- components: composed coercions mus be generated with current base uri
[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 -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 -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
43
44 include .depend
45 include ../../../Makefile.defs