P.S.
> > warning: Can't find macro file:
> > /usr/local/coccinelle/bin/../lib/coccinelle/standard.h
> > warning: Can't find default iso file:
> > /usr/local/coccinelle/bin/../lib/coccinelle/standard.iso
The hard coded "lib" causing this issue lives in globals/config.ml.in.
diff --git a/globals/config.ml.in b/globals/config.ml.in
index 2a4135f3b06e..5969be5aa1e2 100644
--- a/globals/config.ml.in
+++ b/globals/config.ml.in
@@ -37,7 +37,7 @@ let path =
exec_dir
else
List.fold_left Filename.concat exec_dir
- [Filename.parent_dir_name; "lib"; "coccinelle"]
+ [Filename.parent_dir_name; "lib64"; "coccinelle"]
let std_iso = ref (Filename.concat path "standard.iso")
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
