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

diff --git a/helm/DEVEL/pxp/pxp/examples/readme/Makefile.code b/helm/DEVEL/pxp/pxp/examples/readme/Makefile.code
new file mode 100644
index 000000000..0514ddf33
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/examples/readme/Makefile.code
@@ -0,0 +1,57 @@
+#----------------------------------------------------------------------
+# specific rules for this package:
+
+OBJECTS  = to_html.cmo to_text.cmo
+XOBJECTS = $(OBJECTS:.cmo=.cmx)
+ARCHIVE  = readme.cma
+XARCHIVE = readme.cmxa
+NAME     = readme
+REQUIRES = str pxp
+
+readme: $(ARCHIVE) main.cmo
+	ocamlfind ocamlc -o readme -custom -package "$(REQUIRES)" \
+		-linkpkg $(ARCHIVE) main.cmo 
+
+readme.opt: $(XARCHIVE) main.cmx
+	ocamlfind ocamlopt -o readme.opt -custom -package "$(REQUIRES)" \
+		-linkpkg $(XARCHIVE) main.cmx
+
+$(ARCHIVE): $(OBJECTS)
+	$(OCAMLC) -a -o $(ARCHIVE) $(OBJECTS)
+
+$(XARCHIVE): $(XOBJECTS)
+	$(OCAMLOPT) -a -o $(XARCHIVE) $(XOBJECTS)
+
+#----------------------------------------------------------------------
+# general rules:
+
+OPTIONS   =
+OCAMLC    = ocamlc -g $(OPTIONS) $(ROPTIONS)
+OCAMLOPT  = ocamlopt -p $(OPTIONS) $(ROPTIONS)
+OCAMLDEP  = ocamldep $(OPTIONS)
+OCAMLFIND = ocamlfind
+
+depend: *.ml *.mli 
+	$(OCAMLDEP) *.ml *.mli >depend
+
+depend.pkg: Makefile
+	$(OCAMLFIND) use -p ROPTIONS= $(REQUIRES) >depend.pkg
+
+.SUFFIXES: .cmo .cmi .cmx .ml .mli .mll .mly
+
+.ml.cmx:
+	$(OCAMLOPT) -c $<
+
+.ml.cmo:
+	$(OCAMLC) -c $<
+
+.mli.cmi:
+	$(OCAMLC) -c $<
+
+.mll.ml:
+	ocamllex $<
+
+*.mli:
+
+include depend
+include depend.pkg