2019-07-01 22:32:56 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
source ../scripts/build_helper.sh
|
|
|
|
|
|
|
|
|
|
library_path="Thread-Pool"
|
|
|
|
|
requires_rebuild ${library_path}
|
|
|
|
|
[[ $? -eq 0 ]] && exit 0
|
|
|
|
|
|
2019-07-04 18:00:03 +02:00
|
|
|
_cmake_options=""
|
|
|
|
|
[[ ${build_os_type} == "win32" ]] && _cmake_options="-DMSVC_RUNTIME=static"
|
|
|
|
|
cmake_build ${library_path} -DCMAKE_BUILD_TYPE=RelWithDebInfo ${_cmake_options}
|
2019-07-01 22:32:56 +02:00
|
|
|
check_err_exit ${library_path} "Failed to build Thread-Pool!"
|
|
|
|
|
set_build_successful ${library_path}
|
