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