| 
					
					
						
							
						
					
					
				 | 
				@ -26,6 +26,7 @@ option(LINK_LIBCXXABI "Sets whether libc++abi should be linked." OFF) | 
			
		
		
	
		
			
				 | 
				 | 
				option(USE_LIBCXX "Sets whether the standard library is libc++." OFF) | 
				 | 
				 | 
				option(USE_LIBCXX "Sets whether the standard library is libc++." OFF) | 
			
		
		
	
		
			
				 | 
				 | 
				option(USE_CARL "Sets whether carl should be included." ON) | 
				 | 
				 | 
				option(USE_CARL "Sets whether carl should be included." ON) | 
			
		
		
	
		
			
				 | 
				 | 
				option(FORCE_COLOR "Force color output" OFF) | 
				 | 
				 | 
				option(FORCE_COLOR "Force color output" OFF) | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
				option(STOMR_COMPILE_WITH_CCACHE "Compile using CCache" ON) | 
			
		
		
	
		
			
				 | 
				 | 
				set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optional).") | 
				 | 
				 | 
				set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optional).") | 
			
		
		
	
		
			
				 | 
				 | 
				set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).") | 
				 | 
				 | 
				set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).") | 
			
		
		
	
		
			
				 | 
				 | 
				set(CUDA_ROOT "" CACHE STRING "The root directory of CUDA.") | 
				 | 
				 | 
				set(CUDA_ROOT "" CACHE STRING "The root directory of CUDA.") | 
			
		
		
	
	
		
			
				| 
					
					
					
						
							
						
					
				 | 
				@ -43,7 +44,16 @@ endif() | 
			
		
		
	
		
			
				 | 
				 | 
				message(STATUS "StoRM - Building ${CMAKE_BUILD_TYPE} version.") | 
				 | 
				 | 
				message(STATUS "StoRM - Building ${CMAKE_BUILD_TYPE} version.") | 
			
		
		
	
		
			
				 | 
				 | 
				message(STATUS "StoRM - CMAKE_BUILD_TYPE (ENV): $ENV{CMAKE_BUILD_TYPE}") | 
				 | 
				 | 
				message(STATUS "StoRM - CMAKE_BUILD_TYPE (ENV): $ENV{CMAKE_BUILD_TYPE}") | 
			
		
		
	
		
			
				 | 
				 | 
				
 | 
				 | 
				 | 
				
 | 
			
		
		
	
		
			
				 | 
				 | 
				
 | 
				 | 
				 | 
				 | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
				if(STOMR_COMPILE_WITH_CCACHE) | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
					find_program(CCACHE_FOUND ccache) | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
					if(CCACHE_FOUND) | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
						message(STATUS "SToRM - Using ccache") | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
						set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE ccache) | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
						set_property(GLOBAL PROPERTY RULE_LAUNCH_LINK ccache) | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
					else() | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
						message(STATUS "Could not find ccache") | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
					endif() | 
			
		
		
	
		
			
				 | 
				 | 
				 | 
				 | 
				 | 
				endif() | 
			
		
		
	
		
			
				 | 
				 | 
				
 | 
				 | 
				 | 
				
 | 
			
		
		
	
		
			
				 | 
				 | 
				# Base path for test files | 
				 | 
				 | 
				# Base path for test files | 
			
		
		
	
		
			
				 | 
				 | 
				set(STORM_CPP_TESTS_BASE_PATH "${PROJECT_SOURCE_DIR}/test") | 
				 | 
				 | 
				set(STORM_CPP_TESTS_BASE_PATH "${PROJECT_SOURCE_DIR}/test") | 
			
		
		
	
	
		
			
				| 
					
						
							
						
					
					
					
				 | 
				
  |