]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/lexers/Makefile.generate
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / lexers / Makefile.generate
diff --git a/helm/DEVEL/pxp/pxp/lexers/Makefile.generate b/helm/DEVEL/pxp/pxp/lexers/Makefile.generate
new file mode 100644 (file)
index 0000000..8ee39cb
--- /dev/null
@@ -0,0 +1,67 @@
+LEXERSRC = pxp_lex_misc.src \
+          pxp_lex_document.src \
+          pxp_lex_content.src \
+          pxp_lex_within_tag.src \
+          pxp_lex_document_type.src \
+          pxp_lex_declaration.src \
+          pxp_lex_dtd_string.src \
+          pxp_lex_content_string.src \
+          pxp_lex_name_string.src 
+
+OTHERSRC = open_pxp_lex_aux_iso88591.src \
+          pxp_lex_aux.src \
+          pxp_lex_defs_iso88591.def
+
+LEXERMLL_iso88591 = $(LEXERSRC:.src=_iso88591.mll)
+LEXERMLL_utf8     = $(LEXERSRC:.src=_utf8.mll)
+
+LEXERML_iso88591  = $(LEXERSRC:.src=_iso88591.ml)
+LEXERML_utf8      = $(LEXERSRC:.src=_utf8.ml)
+
+LEXERCMO_iso88591 = pxp_lex_aux_iso88591.cmo $(LEXERSRC:.src=_iso88591.cmo)
+LEXERCMO_utf8     = pxp_lex_aux_utf8.cmo     $(LEXERSRC:.src=_utf8.cmo)
+
+LEXERCMX_iso88591 = $(LEXERCMO_iso88591:.cmo=.cmx)
+LEXERCMX_utf8     = $(LEXERCMO_utf8:.cmo=.cmx)
+
+.PHONY: all_iso88591
+all_iso88591: iso88591_done 
+
+.PHONY: all_utf8
+all_utf8: utf8_done
+
+iso88591_done: $(LEXERSRC) $(OTHERSRC)
+       ../tools/insert_variant -variant iso88591 $(LEXERSRC)
+       for file in $(LEXERMLL_iso88591); do ocamllex $$file; done
+       touch iso88591_done
+
+utf8_done: $(LEXERSRC) $(OTHERSRC) pxp_lex_defs_utf8.def
+       ../tools/insert_variant -variant utf8 $(LEXERSRC)
+       for file in $(LEXERMLL_utf8); do ocamllex $$file; done
+       touch utf8_done
+
+pxp_lex_defs_utf8.def: pxp_lex_defs_generic.def pxp_lex_defs_drv_utf8.def
+       ../tools/ucs2_to_utf8/ucs2_to_utf8 <pxp_lex_defs_generic.def \
+                                  >pxp_lex_defs_utf8.def || \
+               rm -f pxp_lex_defs_utf8.def
+       cat pxp_lex_defs_drv_utf8.def >>pxp_lex_defs_utf8.def
+
+objects_iso88591:
+       echo LOBJECTS_iso88591  = $(LEXERCMO_iso88591)  >objects_iso88591
+       echo XLOBJECTS_iso88591 = $(LEXERCMX_iso88591) >>objects_iso88591
+
+objects_utf8:
+       echo LOBJECTS_utf8  = $(LEXERCMO_utf8)  >objects_utf8
+       echo XLOBJECTS_utf8 = $(LEXERCMX_utf8) >>objects_utf8
+
+depend: *.ml *.mli 
+       ocamldep *.ml *.mli >depend
+
+.PHONY: clean
+clean:
+       rm -f $(LEXERMLL_iso88591) $(LEXERML_iso88591) iso88591_done \
+             $(LEXERMLL_utf8)     $(LEXERML_utf8)     utf8_done \
+             pxp_lex_defs_utf8.def \
+             objects_iso88591 objects_utf8 depend
+
+*.mli: