]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/readme/Makefile.code
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / readme / Makefile.code
1 #----------------------------------------------------------------------
2 # specific rules for this package:
3
4 OBJECTS  = to_html.cmo to_text.cmo
5 XOBJECTS = $(OBJECTS:.cmo=.cmx)
6 ARCHIVE  = readme.cma
7 XARCHIVE = readme.cmxa
8 NAME     = readme
9 REQUIRES = str pxp
10
11 readme: $(ARCHIVE) main.cmo
12         ocamlfind ocamlc -o readme -custom -package "$(REQUIRES)" \
13                 -linkpkg $(ARCHIVE) main.cmo 
14
15 readme.opt: $(XARCHIVE) main.cmx
16         ocamlfind ocamlopt -o readme.opt -custom -package "$(REQUIRES)" \
17                 -linkpkg $(XARCHIVE) main.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