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

diff --git a/helm/DEVEL/pxp/pxp/Makefile.code b/helm/DEVEL/pxp/pxp/Makefile.code
new file mode 100644
index 000000000..3afed39ca
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/Makefile.code
@@ -0,0 +1,96 @@
+# make all: 		make bytecode archives
+# make opt: 		make native archives
+#----------------------------------------------------------------------
+
+include Makefile.conf
+
+all: 
+	$(MAKE) -f Makefile.code pxp_types.cma
+	$(MAKE) -f Makefile.code pxp_lex_iso88591.cma
+	if [ "x$(UTF8_SUPPORT)" = "xyes" ]; then $(MAKE) -f Makefile.code pxp_lex_utf8.cma; else rm -f pxp_lex_utf8.cma; fi
+	$(MAKE) -f Makefile.code pxp_engine.cma
+	if [ "x$(UTF8_SUPPORT)" = "xyes" ]; then $(MAKE) -f Makefile.code pxp_utf8.cmo; else rm -f pxp_utf8.cmo; fi
+
+opt:
+	$(MAKE) -f Makefile.code pxp_types.cmxa
+	$(MAKE) -f Makefile.code pxp_lex_iso88591.cmxa
+	if [ "x$(UTF8_SUPPORT)" = "xyes" ]; then $(MAKE) -f Makefile.code pxp_lex_utf8.cmxa; else rm -f pxp_lex_utf8.cmxa; fi
+	$(MAKE) -f Makefile.code pxp_engine.cmxa
+	if [ "x$(UTF8_SUPPORT)" = "xyes" ]; then $(MAKE) -f Makefile.code pxp_utf8.cmx; else rm -f pxp_utf8.cmx; fi
+
+#----------------------------------------------------------------------
+
+pxp_types.cma: $(OBJECTS_types)
+	$(OCAMLC) -a -o pxp_types.cma $(OBJECTS_types)
+
+pxp_types.cmxa: $(XOBJECTS_types)
+	$(OCAMLOPT) -a -o pxp_types.cmxa $(XOBJECTS_types)
+
+pxp_engine.cma: $(OBJECTS_engine)
+	$(OCAMLC) -a -o pxp_engine.cma $(OBJECTS_engine)
+
+pxp_engine.cmxa: $(XOBJECTS_engine)
+	$(OCAMLOPT) -a -o pxp_engine.cmxa $(XOBJECTS_engine)
+
+
+# The following rules are "phony" to force 'make' to go into the
+# "lexers" subdirectory.
+
+.PHONY: pxp_lex_iso88591.cma
+pxp_lex_iso88591.cma: $(CMI_types)
+	$(MAKE) -C lexers all_iso88591
+	cp lexers/pxp_lex_iso88591.cma .
+
+.PHONY: pxp_lex_iso88591.cmxa
+pxp_lex_iso88591.cmxa: $(CMI_types)
+	$(MAKE) -C lexers opt_iso88591
+	cp lexers/pxp_lex_iso88591.cmxa lexers/pxp_lex_iso88591.a .
+
+.PHONY: pxp_lex_utf8.cma
+pxp_lex_utf8.cma: $(CMI_types)
+	$(MAKE) -C lexers all_utf8
+	cp lexers/pxp_lex_utf8.cma .
+
+.PHONY: pxp_lex_utf8.cmxa
+pxp_lex_utf8.cmxa: $(CMI_types)
+	$(MAKE) -C lexers opt_utf8
+	cp lexers/pxp_lex_utf8.cmxa lexers/pxp_lex_utf8.a .
+
+#----------------------------------------------------------------------
+# general rules:
+
+OPTIONS   =
+OCAMLC    = $(OCAMLFIND) ocamlc -package "$(PACKAGES)" \
+              -g -I lexers $(OPTIONS) $(ROPTIONS)
+OCAMLOPT  = $(OCAMLFIND) ocamlopt -package "$(PACKAGES)" \
+              -p -I lexers $(OPTIONS) $(ROPTIONS)
+OCAMLDEP  = ocamldep $(OPTIONS)
+OCAMLFIND = ocamlfind
+
+depend: *.ml *.mli pxp_yacc.ml
+	$(OCAMLDEP) *.ml *.mli >depend
+
+.SUFFIXES: .cmo .cmi .cmx .ml .mli .mll .m2y
+
+.ml.cmx:
+	$(OCAMLOPT) -c $<
+
+.ml.cmo:
+	$(OCAMLC) -c $<
+
+.mli.cmi:
+	$(OCAMLC) -c $<
+
+.mll.ml:
+	ocamllex $<
+
+.m2y.ml:
+	./m2parsergen/m2parsergen < $< >`basename $< .m2y`.ml || { rm -f `basename $< .m2y`.ml; false; }
+
+*.mli:
+
+
+# Generated dependencies:
+
+include depend
+