]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/lexers/Makefile.generate
This commit was manufactured by cvs2svn to create branch
[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
deleted file mode 100644 (file)
index 8ee39cb..0000000
+++ /dev/null
@@ -1,67 +0,0 @@
-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: