[bpt/coccinelle.git] / tools / distributed / Makefile

spatch_linux: spatch_linux.c
	gcc -D HOME="\"${COCCINELLE_HOME}/tools/distributed/\"" -o spatch_linux spatch_linux.c

install: spatch_linux cleanup
	cp spatch_linux ~/bin

cleanup: cleanup.ml
	ocamlc -o cleanup str.cma cleanup.ml

clean:
	rm -f cleanup cleanup.cmi cleanup.cmo spatch_linux
Commit	Line	Data
34e49164	1	spatch_linux: spatch_linux.c
faf9a90c	2	gcc -D HOME="\"${COCCINELLE_HOME}/tools/distributed/\"" -o spatch_linux spatch_linux.c
34e49164 C	3
	4	install: spatch_linux cleanup
	5	cp spatch_linux ~/bin
	6
	7	cleanup: cleanup.ml
	8	ocamlc -o cleanup str.cma cleanup.ml
0708f913 C	9
	10	clean:
	11	rm -f cleanup cleanup.cmi cleanup.cmo spatch_linux