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

diff --git a/helm/DEVEL/pxp/pxp/compatibility/Makefile.code b/helm/DEVEL/pxp/pxp/compatibility/Makefile.code
new file mode 100644
index 000000000..2733faa09
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/compatibility/Makefile.code
@@ -0,0 +1,50 @@
+# make all: 		make bytecode archives
+# make opt: 		make native archives
+#----------------------------------------------------------------------
+
+include Makefile.conf
+
+.PHONY: all
+all: markup.cma
+
+.PHONY: opt
+opt: markup.cmxa
+
+#----------------------------------------------------------------------
+
+markup.cma: $(OBJECTS)
+	$(OCAMLC) -a -o markup.cma $(OBJECTS)
+
+markup.cmxa: $(XOBJECTS)
+	$(OCAMLOPT) -a -o markup.cmxa $(XOBJECTS)
+
+#----------------------------------------------------------------------
+# general rules:
+
+OPTIONS   =
+OCAMLC    = ocamlfind ocamlc -g -I .. -package netstring $(OPTIONS) $(ROPTIONS)
+OCAMLOPT  = ocamlfind ocamlopt -p -I .. -package netstring $(OPTIONS) $(ROPTIONS)
+OCAMLDEP  = ocamldep $(OPTIONS)
+OCAMLFIND = ocamlfind
+
+depend: *.ml *.mli
+	$(OCAMLDEP) *.ml *.mli >depend
+
+.SUFFIXES: .cmo .cmi .cmx .ml .mli
+
+.ml.cmx:
+	$(OCAMLOPT) -c $<
+
+.ml.cmo:
+	$(OCAMLC) -c $<
+
+.mli.cmi:
+	$(OCAMLC) -c $<
+
+*.mli:
+
+
+# Generated dependencies:
+
+include depend
+