b1b2de81 |
1 | let version = "0.1.7" |
34e49164 C |
2 | |
3 | let path = |
4 | try (Sys.getenv "COCCINELLE_HOME") |
5 | with Not_found->"/usr/local/share/coccinelle" |
6 | |
7 | let std_iso = ref (Filename.concat path "standard.iso") |
8 | let std_h = ref (Filename.concat path "standard.h") |