3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00

update names of config vars

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-11-19 08:48:43 -08:00
parent 3669543553
commit c62380ad77

View file

@ -49,11 +49,11 @@ fi
# Build API docs?
if [ "X${BUILD_DOCS}" = "X1" ]; then
ADDITIONAL_Z3_OPTS+=( \
'-DBUILD_DOCUMENTATION=ON' \
'-DALWAYS_BUILD_DOCS=OFF' \
'-DZ3_BUILD_DOCUMENTATION=ON' \
'-DZ3_ALWAYS_BUILD_DOCS=OFF' \
)
else
ADDITIONAL_Z3_OPTS+=('-DBUILD_DOCUMENTATION=OFF')
ADDITIONAL_Z3_OPTS+=('-DZ3_BUILD_DOCUMENTATION=OFF')
fi
# Python bindings?