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

diff --git a/helm/DEVEL/pxp/pxp/examples/xmlforms/Makefile.code b/helm/DEVEL/pxp/pxp/examples/xmlforms/Makefile.code
new file mode 100644
index 000000000..f99674042
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/examples/xmlforms/Makefile.code
@@ -0,0 +1,57 @@
+#----------------------------------------------------------------------
+# specific rules for this package:
+
+OBJECTS  = ds_context.cmo ds_style.cmo
+XOBJECTS = $(OBJECTS:.cmo=.cmx)
+ARCHIVE  = xmlforms.cma
+XARCHIVE = xmlforms.cmxa
+NAME     = xmlforms
+REQUIRES = camltk str pxp
+
+xmlforms: $(ARCHIVE) ds_app.cmo
+	ocamlfind ocamlc -g -o xmlforms -custom -package "$(REQUIRES)" \
+		-linkpkg $(ARCHIVE) ds_app.cmo 
+
+xmlform.opt: $(XARCHIVE) ds_app.cmx
+	ocamlfind ocamlopt -o xmlforms.opt -custom -package "$(REQUIRES)" \
+		-linkpkg $(XARCHIVE) ds_app.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