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

diff --git a/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile b/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile
new file mode 100644
index 000000000..504cfe540
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile
@@ -0,0 +1,50 @@
+#(******************************************************)
+#(*    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