]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/compatibility/Makefile.code
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / compatibility / Makefile.code
1 # make all:             make bytecode archives
2 # make opt:             make native archives
3 #----------------------------------------------------------------------
4
5 include Makefile.conf
6
7 .PHONY: all
8 all: markup.cma
9
10 .PHONY: opt
11 opt: markup.cmxa
12
13 #----------------------------------------------------------------------
14
15 markup.cma: $(OBJECTS)
16         $(OCAMLC) -a -o markup.cma $(OBJECTS)
17
18 markup.cmxa: $(XOBJECTS)
19         $(OCAMLOPT) -a -o markup.cmxa $(XOBJECTS)
20
21 #----------------------------------------------------------------------
22 # general rules:
23
24 OPTIONS   =
25 OCAMLC    = ocamlfind ocamlc -g -I .. -package netstring $(OPTIONS) $(ROPTIONS)
26 OCAMLOPT  = ocamlfind ocamlopt -p -I .. -package netstring $(OPTIONS) $(ROPTIONS)
27 OCAMLDEP  = ocamldep $(OPTIONS)
28 OCAMLFIND = ocamlfind
29
30 depend: *.ml *.mli
31         $(OCAMLDEP) *.ml *.mli >depend
32
33 .SUFFIXES: .cmo .cmi .cmx .ml .mli
34
35 .ml.cmx:
36         $(OCAMLOPT) -c $<
37
38 .ml.cmo:
39         $(OCAMLC) -c $<
40
41 .mli.cmi:
42         $(OCAMLC) -c $<
43
44 *.mli:
45
46
47 # Generated dependencies:
48
49 include depend
50