3fcb65a7b2cedaafa1a7b0933bf6f7100f7fcf79
1 let version = "0.2.5-rc1"
4 try (Sys.getenv
"COCCINELLE_HOME")
5 with Not_found
->"/usr/local/share/coccinelle"
7 let std_iso = ref (Filename.concat
path "standard.iso")
8 let std_h = ref (Filename.concat
path "standard.h")