]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/xmlforms/Makefile.code
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / examples / xmlforms / Makefile.code
1 #----------------------------------------------------------------------
2 # specific rules for this package:
3
4 OBJECTS  = ds_context.cmo ds_style.cmo
5 XOBJECTS = $(OBJECTS:.cmo=.cmx)
6 ARCHIVE  = xmlforms.cma
7 XARCHIVE = xmlforms.cmxa
8 NAME     = xmlforms
9 REQUIRES = camltk str pxp
10
11 xmlforms: $(ARCHIVE) ds_app.cmo
12         ocamlfind ocamlc -g -o xmlforms -custom -package "$(REQUIRES)" \
13                 -linkpkg $(ARCHIVE) ds_app.cmo 
14
15 xmlform.opt: $(XARCHIVE) ds_app.cmx
16         ocamlfind ocamlopt -o xmlforms.opt -custom -package "$(REQUIRES)" \
17                 -linkpkg $(XARCHIVE) ds_app.cmx
18
19 $(ARCHIVE): $(OBJECTS)
20         $(OCAMLC) -a -o $(ARCHIVE) $(OBJECTS)
21
22 $(XARCHIVE): $(XOBJECTS)
23         $(OCAMLOPT) -a -o $(XARCHIVE) $(XOBJECTS)
24
25 #----------------------------------------------------------------------
26 # general rules:
27
28 OPTIONS   =
29 OCAMLC    = ocamlc -g $(OPTIONS) $(ROPTIONS)
30 OCAMLOPT  = ocamlopt -p $(OPTIONS) $(ROPTIONS)
31 OCAMLDEP  = ocamldep $(OPTIONS)
32 OCAMLFIND = ocamlfind
33
34 depend: *.ml *.mli 
35         $(OCAMLDEP) *.ml *.mli >depend
36
37 depend.pkg: Makefile
38         $(OCAMLFIND) use -p ROPTIONS= $(REQUIRES) >depend.pkg
39
40 .SUFFIXES: .cmo .cmi .cmx .ml .mli .mll .mly
41
42 .ml.cmx:
43         $(OCAMLOPT) -c $<
44
45 .ml.cmo:
46         $(OCAMLC) -c $<
47
48 .mli.cmi:
49         $(OCAMLC) -c $<
50
51 .mll.ml:
52         ocamllex $<
53
54 *.mli:
55
56 include depend
57 include depend.pkg