]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/utf8_macros/Makefile
added cast rendering (used in check window by gTopLevel/matita)
[helm.git] / helm / ocaml / utf8_macros / Makefile
1 PACKAGE = utf8_macros
2 REQUIRES = helm-pxp
3 PREDICATES =
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         $(OCAMLFIND) ocamlc -package $(REQUIRES) -linkpkg -o $@ $^
15
16 utf8MacroTable.ml: make_table
17         ./make_table $@
18 utf8MacroTable.cmo: utf8MacroTable.ml
19         $(OCAMLFIND) ocamlc -c $<
20
21 pa_unicode_macro.cmo: pa_unicode_macro.ml utf8Macro.cmo
22         $(OCAMLFIND) ocamlc -package camlp4 -pp "camlp4o q_MLast.cmo pa_extend.cmo" -c $<
23 pa_unicode_macro.cma: utf8MacroTable.cmo utf8Macro.cmo pa_unicode_macro.cmo
24         $(OCAMLFIND) ocamlc -a -o $@ $^
25
26 .PHONY: test
27 test: test.ml
28         $(OCAMLFIND) ocamlc -package helm-utf8_macros -syntax camlp4o $< -o $@
29
30 clean:
31 distclean: extra_clean
32 extra_clean:
33         rm -f make_table test
34
35 include ../Makefile.common
36