Hi all,
I'm having trouble with headers in directories other than the source
being processed. For example, suppose a project with the following
directory tree:
./src
+ test_pure.c
./include
+ test_pure.h
test_pure.c contains, among other things:
#include "test_pure.h"
If I run Coccinelle with
$ spatch -sp pure.cocci -macro_file_builtins ecocci.h -I ./include/
-local_includes -relax_include_path -dir ./src/
then I get the following error message, and the patch is not created
as expected (and as if the header file was in the same directory):
init_defs_builtins: /home/lucas/programming/coccinelle/ecocci.h
HANDLING: ./src/test_pure.c
TYPE: header ./src/test_pure.h not found
What am I doing wrong?
Thanks
Lucas De Marchi
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
