]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/reader/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / reader / 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 OCAMLPATH=../..
9
10 test_reader: test_reader.ml
11         ocamllex minilex.mll
12         ocamlfind ocamlc -custom -o test_reader -package .,unix,threads \
13                 -linkpkg -thread -noautolink \
14                 -g minilex.ml test_reader.ml
15
16 #----------------------------------------------------------------------
17 .PHONY: all
18 all:
19
20 .PHONY: clean
21 clean:
22         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa minilex.ml
23
24 .PHONY: CLEAN
25 CLEAN: clean
26
27 .PHONY: distclean
28 distclean: clean
29         rm -f *~
30         rm -f test_reader
31