]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/lexers/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / lexers / Makefile
1 all_iso88591: generate_iso88591
2         $(MAKE) -f Makefile.code all_iso88591
3
4 opt_iso88591: generate_iso88591
5         $(MAKE) -f Makefile.code opt_iso88591
6
7 all_utf8: generate_utf8
8         $(MAKE) -f Makefile.code all_utf8
9
10 opt_utf8: generate_utf8
11         $(MAKE) -f Makefile.code opt_utf8
12
13
14
15 generate_iso88591:
16         $(MAKE) -f Makefile.generate all_iso88591
17         rm -f objects_iso88591 objects_utf8
18         $(MAKE) -f Makefile.generate objects_iso88591
19         touch objects_utf8
20         $(MAKE) -f Makefile.generate depend
21
22 generate_utf8:
23         $(MAKE) -f Makefile.generate all_utf8
24         rm -f objects_iso88591 objects_utf8
25         $(MAKE) -f Makefile.generate objects_utf8
26         touch objects_iso88591
27         $(MAKE) -f Makefile.generate depend
28
29
30
31 clean:
32         touch depend objects
33         $(MAKE) -f Makefile.code clean
34         $(MAKE) -f Makefile.generate clean