]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/readme/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / examples / readme / Makefile
1 # make readme:          make bytecode executable
2 # make readme.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 install
7 #----------------------------------------------------------------------
8
9 BIN = /usr/local/bin
10
11 .PHONY: readme
12 readme:
13         $(MAKE) -f Makefile.code readme
14
15 .PHONY: readme.opt
16 readme.opt:
17         $(MAKE) -f Makefile.code readme.opt
18
19
20 .PHONY: clean
21 clean:
22         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa
23
24 .PHONY: CLEAN
25 CLEAN: clean
26
27 .PHONY: distclean
28 distclean: clean
29         rm -f *~ depend depend.pkg
30         rm -f readme readme.opt
31
32 .PHONY: install
33 install:
34         cp readme $(BIN)