From 5d5b3c726619aaf79606fde91aa9879332d92134 Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 19 Jan 2017 09:30:15 +0100 Subject: [PATCH] fix old names in CPack config --- StormCPackConfig.cmake | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/StormCPackConfig.cmake b/StormCPackConfig.cmake index 5ce6c0f53..6f58f9fd0 100644 --- a/StormCPackConfig.cmake +++ b/StormCPackConfig.cmake @@ -4,9 +4,9 @@ include(InstallRequiredSystemLibraries) # http://www.cmake.org/Wiki/CMake:CPackConfiguration ### general settings -set(CPACK_PACKAGE_NAME "StoRM") -set(CPACK_PACKAGE_VENDOR "i2 RWTH Aachen University") -set(CPACK_PACKAGE_DESCRIPTION_SUMMARY "Stochastic Reward Model Checker - An extensible model checker written in C++.") +set(CPACK_PACKAGE_NAME "Storm") +set(CPACK_PACKAGE_VENDOR "RWTH Aachen University") +set(CPACK_PACKAGE_DESCRIPTION_SUMMARY "Storm - A probabilistic model checker written in C++.") set(CPACK_RESOURCE_FILE_LICENSE "${CMAKE_SOURCE_DIR}/LICENSE")