]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/utf8_macros/Makefile
aded prifiler factory
[helm.git] / helm / ocaml / utf8_macros / Makefile
1 PACKAGE = utf8_macros
2 REQUIRES = 
3 PREDICATES =
4 MAKE_TABLE_PACKAGES = helm-xml
5
6 # modules which have both a .ml and a .mli
7 INTERFACE_FILES = utf8Macro.mli
8 IMPLEMENTATION_FILES = utf8MacroTable.ml $(INTERFACE_FILES:%.mli=%.ml)
9 EXTRA_OBJECTS_TO_INSTALL =
10 EXTRA_OBJECTS_TO_CLEAN =
11
12 all: utf8_macros.cma pa_unicode_macro.cma
13
14 make_table: make_table.ml
15         $(OCAMLFIND) ocamlc -package $(MAKE_TABLE_PACKAGES) -linkpkg -o $@ $^
16
17 utf8MacroTable.ml:
18         ./make_table $@
19 utf8MacroTable.cmo: utf8MacroTable.ml
20         $(OCAMLFIND) ocamlc -c $<
21
22 pa_unicode_macro.cmo: pa_unicode_macro.ml utf8Macro.cmo
23         $(OCAMLFIND) ocamlc -package camlp4 -pp "camlp4o q_MLast.cmo pa_extend.cmo" -c $<
24 pa_unicode_macro.cma: utf8MacroTable.cmo utf8Macro.cmo pa_unicode_macro.cmo
25         $(OCAMLFIND) ocamlc -a -o $@ $^
26
27 .PHONY: test
28 test: test.ml
29         $(OCAMLFIND) ocamlc -package helm-utf8_macros -syntax camlp4o $< -o $@
30
31 clean:
32 distclean: extra_clean
33 extra_clean:
34         rm -f make_table test
35
36 include ../Makefile.common
37