X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Ftools%2Fucs2_to_utf8%2FMakefile;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Ftools%2Fucs2_to_utf8%2FMakefile;h=0000000000000000000000000000000000000000;hp=504cfe5404664c75f7b6d2ef23f5e9bcf10b3113;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile b/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile
deleted file mode 100644
index 504cfe540..000000000
--- a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-#(******************************************************)
-#(*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
-#(*                   14/05/2000                       *)
-#(******************************************************)
-
-OCAMLC = ocamlc 
-OCAMLOPT = ocamlopt 
-OCAMLDEP = ocamldep
-OCAMLLEX = ocamllex
-OCAMLYACC = ocamlyacc
-
-all: ucs2_to_utf8
-opt: ucs2_to_utf8.opt
-
-DEPOBJS = ucs2_to_utf8.ml lexer.ml parser.ml parser.mli types.ml
-
-UCS2_TO_UTF8OBJS = types.cmo lexer.cmo parser.cmo ucs2_to_utf8.cmo
-UCS2_TO_UTF8OPTOBJS = types.cmx lexer.cmx parser.cmx ucs2_to_utf8.cmx
-
-lexer.ml:
-	$(OCAMLLEX) lexer.mll
-
-parser.ml:
-	$(OCAMLYACC) parser.mly
-
-parser.mli:
-	$(OCAMLYACC) parser.mly
-
-depend: lexer.ml parser.ml parser.mli
-	$(OCAMLDEP) $(DEPOBJS) > depend
- 
-ucs2_to_utf8: $(UCS2_TO_UTF8OBJS)
-	$(OCAMLC) -o ucs2_to_utf8 $(UCS2_TO_UTF8OBJS)
-
-ucs2_to_utf8.opt: $(UCS2_TO_UTF8OPTOBJS)
-	$(OCAMLOPT) -o ucs2_to_utf8.opt $(UCS2_TO_UTF8OPTOBJS)
-
-.SUFFIXES: .ml .mli .cmo .cmi .cmx
-.ml.cmo:
-	$(OCAMLC) -c $<
-.mli.cmi:
-	$(OCAMLC) -c $<
-.ml.cmx:
-	$(OCAMLOPT) -c $<
-
-clean:
-	rm -f *.cm[iox] *.o lexer.ml parser.ml parser.mli \
-	ucs2_to_utf8 ucs2_to_utf8.opt
-
-include depend