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

let version = "0.1.8"

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
708f4980	1	let version = "0.1.8"
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")