HCoop
/
bpt
/
coccinelle.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Release coccinelle-0.1.6a
[bpt/coccinelle.git]
/
globals
/
config.ml
1
let
version
=
"0.1.6a"
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"
)