From c9e3e6e1e85c1ecb267163ccf0ff9f2bc2d413a9 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Fri, 12 Aug 2016 12:42:16 +0200
Subject: [PATCH] Fix CGAL_BRANCH_BUILD

The CMake variable `CGAL_BRANCH_BUILD` was an option. But if
the variable was set to `FALSE`, that lead to a CMake error
automatically. This commit fixes that situation by turning the
option into an internal cache value, that cannot be set to FALSE.
---
 CMakeLists.txt | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2e53ea8f824..afda9b5ce18 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -5,10 +5,7 @@ project(CGAL CXX C)
 # Minimal version of CMake:
 cmake_minimum_required(VERSION 2.8.11)
 
-# option for branch build
-
-option( CGAL_BRANCH_BUILD "Create CGAL from branch" ON)
-mark_as_advanced( CGAL_BRANCH_BUILD )
+set( CGAL_BRANCH_BUILD ON CACHE INTERNAL "Create CGAL from a Git branch" FORCE)
 
 include(${CMAKE_SOURCE_DIR}/Installation/cmake/modules/CGAL_SCM.cmake)