21 lines
523 B
Bash
21 lines
523 B
Bash
ENABLE_VARS="clpbn|yes|WITH_CLPBN \
|
|
cplint|yes|WITH_CPLINT \
|
|
horus|yes|WITH_HORUS \
|
|
clpr|yes|WITH_CLPR \
|
|
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_REAL \
|
|
cudd|yes|WITH_CUDD \
|
|
xml2|yes|WITH_XML2 \
|
|
raptor|yes|WITH_RAPTOR \
|
|
python|yes|WITH_PYTHON \
|
|
openssl|yes|WITH_OPENSSL\
|
|
readline|yes|WITH_READLINE \
|
|
gmp|yes|WITH_GMP "
|