]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/negative/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / rtests / negative / Makefile
1 # make test_negative:   make bytecode executable
2 # make clean:           remove intermediate files (in this directory)
3 # make CLEAN:           remove intermediate files (recursively)
4 # make distclean:       remove any superflous files (recursively)
5 #----------------------------------------------------------------------
6
7 OCAMLPATH=../..
8
9 test_negative: test_negative.ml
10         ocamlfind ocamlc -custom -o test_negative -package .,str -linkpkg test_negative.ml
11
12 #----------------------------------------------------------------------
13 .PHONY: all
14 all:
15
16 .PHONY: clean
17 clean:
18         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa current.out
19
20 .PHONY: CLEAN
21 CLEAN: clean
22
23 .PHONY: distclean
24 distclean: clean
25         rm -f *~
26         rm -f test_negative 
27
28