Automatic merge branch 'main' into 'devel'

This commit is contained in:
github-actions[bot] 2023-06-07 12:58:52 +00:00 committed by GitHub
commit 42acda3573
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,7 +18,7 @@ set(CMAKE_C_STANDARD 99)
set(CMAKE_CXX_STANDARD 14)
set(CMAKE_CXX_STANDARD_REQUIRED ON)
set(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
set(CMAKE_OSX_DEPLOYMENT_TARGET "10.11" CACHE STRING "Minimum OS X deployment version" FORCE)
set(CMAKE_OSX_DEPLOYMENT_TARGET "10.13" CACHE STRING "Minimum OS X deployment version" FORCE)
### Settings needed for both "external" and internal code
set(CMAKE_POSITION_INDEPENDENT_CODE ON)