From 5f856ddf1848217599e3d669bf72628e335fe001 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 18 Nov 2016 16:04:18 +0100 Subject: [PATCH] output name for storm pgcl is now applied to storm-pgcl-cli instead of main --- src/storm-pgcl-cli/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm-pgcl-cli/CMakeLists.txt b/src/storm-pgcl-cli/CMakeLists.txt index 7f8bc65fb..d8884639e 100644 --- a/src/storm-pgcl-cli/CMakeLists.txt +++ b/src/storm-pgcl-cli/CMakeLists.txt @@ -1,3 +1,3 @@ add_executable(storm-pgcl-cli ${PROJECT_SOURCE_DIR}/src/storm-pgcl-cli/storm-pgcl.cpp) target_link_libraries(storm-pgcl-cli storm-pgcl) -set_target_properties(storm-main PROPERTIES OUTPUT_NAME "storm-pgcl") \ No newline at end of file +set_target_properties(storm-pgcl-cli PROPERTIES OUTPUT_NAME "storm-pgcl") \ No newline at end of file