HCoop
/
bpt
/
coccinelle.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
cf9f4a3ea73ec8d3a92db33503eb05c98cb5b27b
[bpt/coccinelle.git]
/
globals
/
config.ml
1
let
version
=
"0.1.6"
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"
)