]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/xmlforms/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / xmlforms / Makefile
1 # make xmlforms:        make bytecode executable
2 # make xmlforms.opt:    make native executable
3 # make clean:           remove intermediate files
4 # make CLEAN:           remove intermediate files (recursively)
5 # make distclean:       remove any superflous files
6 # make release:         cleanup, create archive, tag CVS module 
7 #                       (for developers)
8 #----------------------------------------------------------------------
9
10 .PHONY: xmlforms
11 xmlforms:
12         $(MAKE) -f Makefile.code xmlforms
13
14 .PHONY: xmlforms.opt
15 xmlforms.opt:
16         $(MAKE) -f Makefile.code xmlforms.opt
17
18
19 .PHONY: clean
20 clean:
21         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
22
23 .PHONY: CLEAN
24 CLEAN: clean
25         $(MAKE) -C styles CLEAN
26
27 .PHONY: distclean
28 distclean: clean
29         rm -f *~ depend depend.pkg
30         rm -f xmlforms xmlforms.opt
31         $(MAKE) -C styles distclean
32
33