From abd9616231bc4770ed28604610b5afd1e26e10b6 Mon Sep 17 00:00:00 2001 From: Clement Jamin Date: Wed, 29 Mar 2017 12:35:51 +0200 Subject: [PATCH] Hide the CMake option we added for "step 1" --- Installation/CMakeLists.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/Installation/CMakeLists.txt b/Installation/CMakeLists.txt index 7c4091667f4..4cd5cda296f 100644 --- a/Installation/CMakeLists.txt +++ b/Installation/CMakeLists.txt @@ -51,7 +51,6 @@ include(GNUInstallDirs) if(CMAKE_MAJOR_VERSION GREATER 2) # In header only mode, we use INTERFACE libraries, which was introduced in cmake 3.0. # Thus this option is only enabled for cmake >= 3.0. - option(CGAL_HEADER_ONLY "Enable the header only version of CGAL" OFF ) if (CGAL_HEADER_ONLY OR CGAL_HEADER_ONLY_STEP_2) set(CGAL_HEADER_ONLY TRUE CACHE BOOL "Enable cgal header only" FORCE)