From 7c71db049a551da12c977448b66c1037250e6138 Mon Sep 17 00:00:00 2001 From: James Lamb Date: Sat, 6 May 2023 12:34:20 -0500 Subject: [PATCH] [ci] minor fixes to build-python.sh (#5869) --- build-python.sh | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/build-python.sh b/build-python.sh index a969dc390e9e..f134737dc944 100755 --- a/build-python.sh +++ b/build-python.sh @@ -22,6 +22,8 @@ # # [options] # +# --boost-dir=FILEPATH +# Directory with Boost package configuration file. # --boost-include-dir=FILEPATH # Directory containing Boost headers. # --boost-librarydir=FILEPATH @@ -70,12 +72,6 @@ PIP_INSTALL_ARGS="" BUILD_ARGS="" PRECOMPILE="false" -BOOST_INCLUDE_DIR="" -BOOST_LIBRARY_DIR="" -BOOST_ROOT="" -OPENCL_INCLUDE_DIR="" -OPENCL_LIBRARY="" - while [ $# -gt 0 ]; do case "$1" in ############################ @@ -93,6 +89,13 @@ while [ $# -gt 0 ]; do ############################ # customized library paths # ############################ + --boost-dir|--boost-dir=*) + if [[ "$1" != *=* ]]; + then shift; + fi + BOOST_DIR="${1#*=}" + BUILD_ARGS="${BUILD_ARGS} --boost-dir='${BOOST_DIR}'" + ;; --boost-include-dir|--boost-include-dir=*) if [[ "$1" != *=* ]]; then shift; @@ -312,7 +315,7 @@ if test "${BUILD_SDIST}" = true; then fi if test "${BUILD_WHEEL}" = true; then - echo "--- building wheel ---"# + echo "--- building wheel ---" rm -f ../dist/*.whl || true python setup.py bdist_wheel \ --dist-dir ../dist \