From 6e548627ee4bf6f1366418f6e2462fbfd11dff28 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 10 Sep 2017 09:11:26 +0200
Subject: [PATCH] adding storm-pgcl as a dependency to target binaries

---
 src/storm-pgcl-cli/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-pgcl-cli/CMakeLists.txt b/src/storm-pgcl-cli/CMakeLists.txt
index 4778d1e93..4f2799d4d 100644
--- a/src/storm-pgcl-cli/CMakeLists.txt
+++ b/src/storm-pgcl-cli/CMakeLists.txt
@@ -2,5 +2,7 @@ add_executable(storm-pgcl-cli ${PROJECT_SOURCE_DIR}/src/storm-pgcl-cli/storm-pgc
 target_link_libraries(storm-pgcl-cli storm-pgcl  storm-cli-utilities)
 set_target_properties(storm-pgcl-cli PROPERTIES OUTPUT_NAME "storm-pgcl")
 
+add_dependencies(binaries storm-pgcl-cli)
+
 # installation
 install(TARGETS storm-pgcl-cli RUNTIME DESTINATION bin LIBRARY DESTINATION lib OPTIONAL)
\ No newline at end of file