From 545149d99e8d36a082035dab48df6356bf825a47 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 2 Feb 2016 12:20:41 +0100
Subject: [PATCH] include <CGAL/config.h> instead of <CGAL/basic.h>

No need to include the CGAL kernels to use CGAL timers!
---
 .gitignore                                  | 4 ++++
 Profiling_tools/include/CGAL/Memory_sizer.h | 3 ++-
 Profiling_tools/include/CGAL/Real_timer.h   | 2 +-
 Profiling_tools/include/CGAL/Timer.h        | 2 +-
 4 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 99e687dbbaf..ab2740b103e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -800,6 +800,10 @@ Principal_component_analysis/test/Principal_component_analysis/test_linear_least
 Principal_component_analysis/test/Principal_component_analysis/test_linear_least_squares_fitting_tetrahedra_3
 Principal_component_analysis/test/Principal_component_analysis/test_linear_least_squares_fitting_triangles_2
 Principal_component_analysis/test/Principal_component_analysis/test_linear_least_squares_fitting_triangles_3
+/Profiling_tools/test/Profiling_tools/CMakeLists.txt
+/Profiling_tools/test/Profiling_tools/cgal_test_with_cmake
+/Profiling_tools/test/Profiling_tools/test_memory_sizer
+/Profiling_tools/test/Profiling_tools/test_timer
 QP_solver/documentation/Degeneracies.aux
 QP_solver/documentation/Degeneracies.log
 QP_solver/documentation/Degeneracies.pdf
diff --git a/Profiling_tools/include/CGAL/Memory_sizer.h b/Profiling_tools/include/CGAL/Memory_sizer.h
index 222837718fb..b1f329758a8 100644
--- a/Profiling_tools/include/CGAL/Memory_sizer.h
+++ b/Profiling_tools/include/CGAL/Memory_sizer.h
@@ -20,7 +20,8 @@
 #ifndef CGAL_MEMORY_SIZER_H
 #define CGAL_MEMORY_SIZER_H
 
-#include <CGAL/basic.h>
+#include <CGAL/config.h>
+#include <CGAL/assertions.h>
 
 // This has only been implemented for MacOSX/Darwin, Linux and VC++ for now.
 #if !defined _MSC_VER && !defined __linux__ && !defined __APPLE__
diff --git a/Profiling_tools/include/CGAL/Real_timer.h b/Profiling_tools/include/CGAL/Real_timer.h
index 4c621cd9114..06fd0c18111 100644
--- a/Profiling_tools/include/CGAL/Real_timer.h
+++ b/Profiling_tools/include/CGAL/Real_timer.h
@@ -26,7 +26,7 @@
 #ifndef CGAL_REAL_TIMER_H
 #define CGAL_REAL_TIMER_H 1
 
-#include <CGAL/basic.h>
+#include <CGAL/config.h>
 // For the numerical limits
 #include <cfloat>
 
diff --git a/Profiling_tools/include/CGAL/Timer.h b/Profiling_tools/include/CGAL/Timer.h
index ae111466c3f..0262c02caa7 100644
--- a/Profiling_tools/include/CGAL/Timer.h
+++ b/Profiling_tools/include/CGAL/Timer.h
@@ -26,7 +26,7 @@
 #ifndef CGAL_TIMER_H
 #define CGAL_TIMER_H 1
 
-#include <CGAL/basic.h>
+#include <CGAL/config.h>
 
 namespace CGAL {