b80e672498205e6d4120e37cc3fb4e52c1c2dddc
[bpt/coccinelle.git] / globals / config.ml.in
1 let version = "1.0.0-rc4"
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")
9