]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/examples/validate/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / examples / validate / Makefile
1 # make validate:        make bytecode executable
2 # make validate.opt:    make native executable
3 # make clean:           remove intermediate files (in this directory)
4 # make CLEAN:           remove intermediate files (recursively)
5 # make distclean:       remove any superflous files (recursively)
6 #----------------------------------------------------------------------
7
8 pxpvalidate: validate.ml
9         ocamlfind ocamlc -o pxpvalidate -package "pxp" -linkpkg validate.ml
10
11 pxpvalidate.opt: validate.ml
12         ocamlfind ocamlopt -o pxpvalidate.opt -package "pxp" -linkpkg validate.ml
13
14 #----------------------------------------------------------------------
15 .PHONY: all
16 all:
17
18 .PHONY: clean
19 clean:
20         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa 
21
22 .PHONY: CLEAN
23 CLEAN: clean
24
25 .PHONY: distclean
26 distclean: clean
27         rm -f *~
28         rm -f pxpvalidate pxpvalidate.opt