Commit | Line | Data |
---|---|---|
34e49164 C |
1 | # autogenerated by configure |
2 | ||
3 | # Where to install the binary | |
4 | BINDIR=/usr/local/bin | |
5 | ||
6 | # Where to install the man pages | |
7 | MANDIR=/usr/local/man | |
8 | ||
9 | # Where to install the lib | |
10 | LIBDIR=/usr/local/lib | |
11 | ||
12 | # Where to install the configuration files | |
13 | SHAREDIR=/usr/local/share/coccinelle | |
14 | ||
15 | # Features | |
16 | FEATURE_PYTHON=0 | |
0708f913 C |
17 | |
18 | # The OPTBIN variable is here to allow to use ocamlc.opt instead of | |
19 | # ocaml, when it is available, which speeds up compilation. So | |
20 | # if you want the fast version of the ocaml chain tools, set this var | |
21 | # or setenv it to ".opt" in your startup script. | |
22 | OPTBIN=.opt |