]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/table_creator/Makefile
ocaml 3.09 transition
[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 opt: table_creator.opt table_destructor.opt
12
13 table_creator: table_creator.ml ../metadata.cma
14         $(OCAMLFIND) ocamlc \
15                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
16
17 table_destructor: table_creator
18         ln -f $< $@
19
20 table_creator.opt: table_creator.ml ../metadata.cmxa
21         $(OCAMLFIND) ocamlopt \
22                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
23
24 table_destructor.opt: table_creator.opt
25         ln  -f $< $@
26
27 clean:
28         rm -f *.cm[iox] *.a *.o
29         rm -f table_creator table_creator.opt table_destructor table_destructor.opt
30
31 include .depend