X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2FMakefile.generate;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Flexers%2FMakefile.generate;h=0000000000000000000000000000000000000000;hp=8ee39cb441631829d56bf774ee800d96bbb3f53b;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/pxp/pxp/lexers/Makefile.generate b/helm/DEVEL/pxp/pxp/lexers/Makefile.generate
deleted file mode 100644
index 8ee39cb44..000000000
--- a/helm/DEVEL/pxp/pxp/lexers/Makefile.generate
+++ /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: