Commit | Line | Data |
---|---|---|
1eddfd50 | 1 | let version = "0.2.4rc6" |
34e49164 | 2 | |
7f004419 C |
3 | let path = |
4 | try (Sys.getenv "COCCINELLE_HOME") | |
34e49164 C |
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") | |
174d1640 | 9 |