On Thursday 2010-03-25 07:20, Julia Lawall wrote: >> > ./spatch -sp_file foo.cocci foo.c -o /tmp/newfoo.c >> > >> >However, spatch (from cocc 0.2.2) does not seem to know any options. It >> >does not support -h/--help either, so I can't tell if it's just the >> >manpage being outdated. >> > >> >$ spatch -sp_file pfamily.smpl x.c -o new.c >> >Unknown option -sp_file. >> >> 02:08 borg:../coccinelle-0.2.2/x > ./spatch -sp_file parfamily x.c >> init_defs_builtins: /usr/share/coccinelle/standard.h >> HANDLING: x.c >> No matches found for ->family .family >> Skipping:x.c >> 02:08 borg:../coccinelle-0.2.2/x > strip -s spatch >> 02:08 borg:../coccinelle-0.2.2/x > ./spatch -sp_file parfamily x.c >> Unknown option -sp_file. > >This seems quite mysterious. Thanks for reporting it. > >Where did you get your version of spatch? Ie, did you compile it yourself, >take our binary, or take a binary from somewhere else?
The openSUSE RPM is generally installed in the system. I also manually recompiled spatch from coccinelle-0.2.2 sources, moved the spatch binary to the "x" directory (see above) to make sure it does not rely on any paths other than /usr/share/coccinelle (from the rpm, also 0.2.2), then went to strip it. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
