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

diff --git a/helm/DEVEL/pxp/pxp/lexers/Makefile.code b/helm/DEVEL/pxp/pxp/lexers/Makefile.code
new file mode 100644
index 000000000..781f29669
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/lexers/Makefile.code
@@ -0,0 +1,54 @@
+
+LARCHIVE_iso88591  = pxp_lex_iso88591.cma
+LARCHIVE_utf8      = pxp_lex_utf8.cma
+XLARCHIVE_iso88591 = $(LARCHIVE_iso88591:.cma=.cmxa)
+XLARCHIVE_utf8     = $(LARCHIVE_utf8:.cma=.cmxa)
+
+# LOBJECTS_* and XLOBJECTS_* are included from "objects_*":
+include objects_iso88591
+include objects_utf8
+
+#----------------------------------------------------------------------
+
+all_iso88591: $(LARCHIVE_iso88591)
+opt_iso88591: $(XLARCHIVE_iso88591)
+all_utf8:     $(LARCHIVE_utf8)
+opt_utf8:     $(XLARCHIVE_utf8)
+
+$(LARCHIVE_iso88591): $(LOBJECTS_iso88591)
+	$(OCAMLC) -a -o $(LARCHIVE_iso88591) $(LOBJECTS_iso88591)
+
+$(XLARCHIVE_iso88591): $(XLOBJECTS_iso88591)
+	$(OCAMLOPT) -a -o $(XLARCHIVE_iso88591) $(XLOBJECTS_iso88591)
+
+$(LARCHIVE_utf8): $(LOBJECTS_utf8)
+	$(OCAMLC) -a -o $(LARCHIVE_utf8) $(LOBJECTS_utf8)
+
+$(XLARCHIVE_utf8): $(XLOBJECTS_utf8)
+	$(OCAMLOPT) -a -o $(XLARCHIVE_utf8) $(XLOBJECTS_utf8)
+
+#----------------------------------------------------------------------
+# general rules:
+
+OPTIONS   =
+OCAMLC    = ocamlfind ocamlc -g -I .. -package netstring $(OPTIONS)
+OCAMLOPT  = ocamlfind ocamlopt -p -I .. -package netstring $(OPTIONS) 
+
+.SUFFIXES: .cmo .cmi .cmx .ml .mli 
+
+.ml.cmx:
+	$(OCAMLOPT) -c $<
+
+.ml.cmo:
+	$(OCAMLC) -c $<
+
+.mli.cmi:
+	$(OCAMLC) -c $<
+
+
+*.mli:
+
+clean:
+	rm -f *.cmo *.cmx *.cma *.cmxa *.cmi *.o *.a
+
+include depend