From 80871ee394530c5af53bd20d8704809617413aa2 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 7 Nov 2019 15:33:31 +0100 Subject: [PATCH] chore: remove outdated macOS cmake setup --- src/CMakeLists.txt | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 4ffa4527cb..57a4cb04f3 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -285,13 +285,6 @@ set(CPACK_BUNDLE_NAME "Lean-${LEAN_VERSION_STRING}") set(CPACK_PACKAGE_ICON "${LEAN_SOURCE_DIR}/../images/lean.png") ################## -# Set a consistent MACOSX_RPATH default across all CMake versions. -# When CMake 2.8.12 is required, change this default to 1. -# When CMake 3.0.0 is required, remove this block (see CMP0042). -if (NOT DEFINED CMAKE_MACOSX_RPATH) - set(CMAKE_MACOSX_RPATH 0) -endif() - if (${CMAKE_SYSTEM_NAME} MATCHES "Linux") # The following options is needed to generate a shared library set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fPIC")