From 4252a2710c44f159aaa4b460464e5daa767f18ff Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 24 Mar 2014 14:19:06 +0100
Subject: [PATCH] Renamed CPackConfig.cmake to StormCPackConfig.cmake and
 adapted reference in CMakeLists.txt accordingly. Also, CPackConfig.cmake is
 now ignored.

Former-commit-id: d24d731950d8c307dcec44ee1c6e2e0614f24f70
---
 .gitignore                                  | 1 +
 CMakeLists.txt                              | 2 +-
 CPackConfig.cmake => StormCPackConfig.cmake | 0
 3 files changed, 2 insertions(+), 1 deletion(-)
 rename CPackConfig.cmake => StormCPackConfig.cmake (100%)

diff --git a/.gitignore b/.gitignore
index 8d18b13b4..aa15c7b9a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,6 +33,7 @@ resources/3rdparty/cudd-2.5.0/
 ipch/
 obj/
 CMakeFiles/
+CPackConfig.cmake
 # The build Dir
 build/
 build//CMakeLists.txt
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8942c984f..5831d731f 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -519,4 +519,4 @@ INSTALL(TARGETS storm storm-functional-tests storm-performance-tests
 	LIBRARY DESTINATION lib
 	ARCHIVE DESTINATION lib
 )
-include(CPackConfig.cmake)
\ No newline at end of file
+include(StormCPackConfig.cmake)
\ No newline at end of file
diff --git a/CPackConfig.cmake b/StormCPackConfig.cmake
similarity index 100%
rename from CPackConfig.cmake
rename to StormCPackConfig.cmake