]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / tools / ucs2_to_utf8 / Makefile
1 #(******************************************************)
2 #(*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
3 #(*                   14/05/2000                       *)
4 #(******************************************************)
5
6 OCAMLC = ocamlc 
7 OCAMLOPT = ocamlopt 
8 OCAMLDEP = ocamldep
9 OCAMLLEX = ocamllex
10 OCAMLYACC = ocamlyacc
11
12 all: ucs2_to_utf8
13 opt: ucs2_to_utf8.opt
14
15 DEPOBJS = ucs2_to_utf8.ml lexer.ml parser.ml parser.mli types.ml
16
17 UCS2_TO_UTF8OBJS = types.cmo lexer.cmo parser.cmo ucs2_to_utf8.cmo
18 UCS2_TO_UTF8OPTOBJS = types.cmx lexer.cmx parser.cmx ucs2_to_utf8.cmx
19
20 lexer.ml:
21         $(OCAMLLEX) lexer.mll
22
23 parser.ml:
24         $(OCAMLYACC) parser.mly
25
26 parser.mli:
27         $(OCAMLYACC) parser.mly
28
29 depend: lexer.ml parser.ml parser.mli
30         $(OCAMLDEP) $(DEPOBJS) > depend
31  
32 ucs2_to_utf8: $(UCS2_TO_UTF8OBJS)
33         $(OCAMLC) -o ucs2_to_utf8 $(UCS2_TO_UTF8OBJS)
34
35 ucs2_to_utf8.opt: $(UCS2_TO_UTF8OPTOBJS)
36         $(OCAMLOPT) -o ucs2_to_utf8.opt $(UCS2_TO_UTF8OPTOBJS)
37
38 .SUFFIXES: .ml .mli .cmo .cmi .cmx
39 .ml.cmo:
40         $(OCAMLC) -c $<
41 .mli.cmi:
42         $(OCAMLC) -c $<
43 .ml.cmx:
44         $(OCAMLOPT) -c $<
45
46 clean:
47         rm -f *.cm[iox] *.o lexer.ml parser.ml parser.mli \
48         ucs2_to_utf8 ucs2_to_utf8.opt
49
50 include depend