Greetings.
After upgrading from coccinelle-0.2.4-rc2 to 0.2.5-rc1, I get a new
error:
01:53 nova:../drivers/block > bash -x `which spatch` -sp_file x.cocci
loop.c
+ COCCINELLE_HOME=/usr/share/coccinelle
+ '[' '!' -r /usr/share/coccinelle/standard.iso ']'
+ export COCCINELLE_HOME
+ export LD_LIBRARY_PATH=/usr/lib:
+ LD_LIBRARY_PATH=/usr/lib:
+ export PYTHONPATH=/usr/share/coccinelle/python:
+ PYTHONPATH=/usr/share/coccinelle/python:
+ /usr/share/coccinelle/spatch -sp_file x.cocci loop.c
/bin/sh: ocamlfind: command not found
Fatal error: exception Prepare_ocamlcocci.CompileFailure("ocamlfind
printconf stdlib has failed")
This worked before, why would I need a new program now?
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
