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

let version = "@COCCI_VERSION@"

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

let std_iso = ref (Filename.concat path "standard.iso")
let std_h   = ref (Filename.concat path "standard.h")

let dynlink_is_native = @DYNLINK_IS_NATIVE@
Commit	Line	Data
feec80c3	1	let version = "@COCCI_VERSION@"
34e49164	2
7f004419 C	3	let path =
7f004419 C	4	try (Sys.getenv "COCCINELLE_HOME")
feec80c3	5	with Not_found->"@prefix@/share/coccinelle"
34e49164 C	6
	7	let std_iso = ref (Filename.concat path "standard.iso")
	8	let std_h = ref (Filename.concat path "standard.h")
174d1640	9
feec80c3	10	let dynlink_is_native = @DYNLINK_IS_NATIVE@