]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/table_creator/Makefile
some makefile work
[helm.git] / helm / ocaml / metadata / table_creator / Makefile
1 REQUIRES = mysql helm-metadata
2 OCAMLFIND = ocamlfind
3
4 INTERFACE_FILES = 
5 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) 
6 EXTRA_OBJECTS_TO_INSTALL =
7 EXTRA_OBJECTS_TO_CLEAN = \
8         table_creator table_creator.opt table_destructor table_destructor.opt
9
10 all: table_creator table_destructor
11         @echo -n
12 opt: table_creator.opt table_destructor.opt
13         @echo -n
14
15 table_creator: table_creator.ml ../metadata.cma
16         @echo "    OCAMLC $<"
17         @$(OCAMLFIND) ocamlc \
18                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
19
20 table_destructor: table_creator
21         @ln -f $< $@
22
23 table_creator.opt: table_creator.ml ../metadata.cmxa
24         @echo "    OCAMLOPT $<"
25         @$(OCAMLFIND) ocamlopt \
26                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
27
28 table_destructor.opt: table_creator.opt
29         @ln  -f $< $@
30
31 clean:
32         rm -f *.cm[iox] *.a *.o
33         rm -f table_creator table_creator.opt table_destructor table_destructor.opt
34
35 include .depend