configure: make sure WITH_PYTHON_DOCS is initialized

Thanks to pazz for reporting the problem.
This commit is contained in:
David Bremner 2020-07-16 15:59:45 -03:00
parent a05da45523
commit 13116c5ced

2
configure vendored
View file

@ -108,6 +108,7 @@ PREFIX=/usr/local
LIBDIR= LIBDIR=
WITH_DOCS=1 WITH_DOCS=1
WITH_API_DOCS=1 WITH_API_DOCS=1
WITH_PYTHON_DOCS=1
WITH_EMACS=1 WITH_EMACS=1
WITH_DESKTOP=1 WITH_DESKTOP=1
WITH_BASH=1 WITH_BASH=1
@ -803,6 +804,7 @@ if [ $have_python3 -eq 1 ]; then
have_python3_cffi=1 have_python3_cffi=1
WITH_PYTHON_DOCS=1 WITH_PYTHON_DOCS=1
else else
WITH_PYTHON_DOCS=0
printf "No (will not install CFFI-based python bindings).\n" printf "No (will not install CFFI-based python bindings).\n"
fi fi
rm -rf __pycache__ # cffi.FFI().verify() uses this space rm -rf __pycache__ # cffi.FFI().verify() uses this space