# autogenerated by configure # Where to install the binary BINDIR=/usr/local/bin # Where to install the man pages MANDIR=/usr/local/man # Where to install the lib LIBDIR=/usr/local/lib # Where to install the configuration files SHAREDIR=/usr/local/share/coccinelle # Features FEATURE_PYTHON=0 # The OPTBIN variable is here to allow to use ocamlc.opt instead of # ocaml, when it is available, which speeds up compilation. So # if you want the fast version of the ocaml chain tools, set this var # or setenv it to ".opt" in your startup script. OPTBIN=.opt