From 6389c51504ddec282f2841d24978fe5a4126e7a6 Mon Sep 17 00:00:00 2001
From: Marcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Date: Wed, 13 Dec 2017 15:50:55 +0100
Subject: [PATCH] Include lib/ in make pretty.

---
 CMakeLists.txt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e26c93a2d..331aa4edf 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -150,10 +150,12 @@ add_subdirectory(${CMAKE_SOURCE_DIR}/tests)
 file(GLOB_RECURSE ALL_SOURCE_FILES
      ${CMAKE_SOURCE_DIR}/legacy/*.cpp
      ${CMAKE_SOURCE_DIR}/legacy/*.h
-     ${CMAKE_SOURCE_DIR}/src/*.cpp
-     ${CMAKE_SOURCE_DIR}/src/*.h
      ${CMAKE_SOURCE_DIR}/include/*.cpp
      ${CMAKE_SOURCE_DIR}/include/*.h
+     ${CMAKE_SOURCE_DIR}/lib/*.cpp
+     ${CMAKE_SOURCE_DIR}/lib/*.h
+     ${CMAKE_SOURCE_DIR}/src/*.cpp
+     ${CMAKE_SOURCE_DIR}/src/*.h
      ${CMAKE_SOURCE_DIR}/tests/*.cpp
      ${CMAKE_SOURCE_DIR}/tests/*.h
 )