1 spatch_linux
: spatch_linux.c
2 gcc
-D HOME
="\"${COCCINELLE_HOME}/tools/distributed/\"" -o spatch_linux spatch_linux.c
4 install: spatch_linux cleanup
8 ocamlc
-o cleanup str.cma cleanup.ml
11 rm -f cleanup cleanup.cmi cleanup.cmo spatch_linux