From 19c28de969ab8483572d65bdfcb78022fa242e8e Mon Sep 17 00:00:00 2001
From: Guillaume Damiand <guillaume.damiand@liris.cnrs.fr>
Date: Wed, 14 Oct 2015 14:29:58 +0200
Subject: [PATCH] Add option to enable cgal header only.

---
 Installation/CMakeLists.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Installation/CMakeLists.txt b/Installation/CMakeLists.txt
index 062a2f3fbab..bcf5196c982 100644
--- a/Installation/CMakeLists.txt
+++ b/Installation/CMakeLists.txt
@@ -27,7 +27,17 @@ if(POLICY CMP0054)
   cmake_policy(SET CMP0054 NEW)
 endif()
 
+#--------------------------------------------------------------------------------------------------
+#
+#                                    -= HEADER ONLY =-
+#
+#--------------------------------------------------------------------------------------------------
+option(ENABLE_HEADER_ONLY "Enable the header only version of CGAL" OFF )
 
+if (ENABLE_HEADER_ONLY)
+  add_definitions(-DCGAL_HEADER_ONLY)
+endif (ENABLE_HEADER_ONLY)
+ 
 #--------------------------------------------------------------------------------------------------
 #
 #                                    -= PACKAGE SETUP =-