[bpt/coccinelle.git] / globals / config.ml.in

let version = "0.2.2-rc1"

let path =
  try (Sys.getenv "COCCINELLE_HOME")
  with Not_found->"/usr/local/share/coccinelle"

let std_iso = ref (Filename.concat path "standard.iso")
let std_h   = ref (Filename.concat path "standard.h")
Commit	Line	Data
c3e37e97	1	let version = "0.2.2-rc1"
34e49164	2
7f004419 C	3	let path =
7f004419 C	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")