ENABLE_VARS="brew|yes|WITH_BREW\
  clpbn|yes|WITH_CLPBN \
  cplint|yes|WITH_CPLINT \
  horus|yes|WITH_HORUS \
  clpr|yes|WITH_CLPR \
  macports|yes|WITH_MACPORTS\
  problog|yes|WITH_PROBLOG \
   jit|no|WITH_JIT \
   chr|no|WITH_CHR \
   threads|no|WITH_THREADS"
WITH_VARS="swig|yes|WITH_SWIG \
   mpi|yes|WITH_MPI \
   gecode|yes|WITH_GECODE \
   docs|yes|WITH_DOCS \
   r|yes|WITH_R \
   myddas|yes|WITH_MYDDAS \
   cudd|yes|WITH_CUDD \
   xml2|yes|WITH_XML2 \
   raptor|yes|WITH_RAPTOR \
   python|yes|WITH_PYTHON \
   openssl|yes|WITH_OPENSSL\
   java|yes|WITH_JAVA
   lbfgs|yes|WITH_LBFGS
   extensions|yes|WITH_EXTENSIONS
   readline|yes|WITH_READLINE \
   gmp|yes|WITH_GMP"