output name for storm pgcl is now applied to storm-pgcl-cli instead of main

8 years ago · 5f856ddf18
1 changed files with 1 additions and 1 deletions
--- 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")
+set_target_properties(storm-pgcl-cli PROPERTIES OUTPUT_NAME "storm-pgcl")