Makefile.config

   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
  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