From ec5a947d56e2e94e383f19272e4e3806d8103c4c Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@rwth-aachen.de>
Date: Sun, 11 Mar 2018 22:48:15 +0100
Subject: [PATCH] Enable LTO for gcc >= 7.0 again

---
 CMakeLists.txt | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index f284dae11..9cd46d914 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -185,11 +185,6 @@ elseif ("${CMAKE_CXX_COMPILER_ID}" STREQUAL "GNU")
 	# using GCC
 	if (CMAKE_CXX_COMPILER_VERSION VERSION_LESS 5.0)
 		message(FATAL_ERROR "gcc version must be at least 5.0.")
-	elseif (CMAKE_CXX_COMPILER_VERSION VERSION_EQUAL 7.0 OR CMAKE_CXX_COMPILER_VERSION VERSION_GREATER 7.0)
-		if (STORM_USE_LTO)
-			set(STORM_USE_LTO OFF)
-			message(WARNING "Disabling link-time optimization, because of known incompatibility of LTO with gcc >= 7.")
-		endif()
 	endif()
 
 	set(STORM_COMPILER_GCC ON)