diff --git a/third_party/build_jsoncpp.sh b/third_party/build_jsoncpp.sh index 1660bbb..c040125 100755 --- a/third_party/build_jsoncpp.sh +++ b/third_party/build_jsoncpp.sh @@ -6,6 +6,6 @@ library_path="jsoncpp" requires_rebuild ${library_path} [[ $? -eq 0 ]] && exit 0 -cmake_build ${library_path} -DCMAKE_CXX_FLAGS="-std=c++11 -fPIC" -DCMAKE_BUILD_TYPE=RelWithDebInfo +cmake_build ${library_path} -DCMAKE_CXX_FLAGS="-std=c++11 -fPIC -static-libstdc++" -DCMAKE_BUILD_TYPE=RelWithDebInfo check_err_exit ${library_path} "Failed to build jsoncpp!" set_build_successful ${library_path} \ No newline at end of file