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

let version = "1.0.0-rc3"

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
65038c61	1	let version = "1.0.0-rc3"
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")
174d1640	9