aboutsummaryrefslogtreecommitdiff
path: root/src/tools/vmap4_extractor
diff options
context:
space:
mode:
authorShauren <shauren.trinity@gmail.com>2012-07-09 21:15:01 +0200
committerShauren <shauren.trinity@gmail.com>2012-07-09 21:15:01 +0200
commit85135512b19fa0ece751afabe84716b787e274c5 (patch)
tree257ca2e0605b4fc061bdf6bdc8e5a7bb0322fb46 /src/tools/vmap4_extractor
parent6ea13e0080ac75733a9061d5531172a45e823875 (diff)
Buildsystem/Tools: Corrected vmap tool dependencies
Diffstat (limited to 'src/tools/vmap4_extractor')
-rw-r--r--src/tools/vmap4_extractor/CMakeLists.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/vmap4_extractor/CMakeLists.txt b/src/tools/vmap4_extractor/CMakeLists.txt
index 3f6b2673be2..5a40e89f1ac 100644
--- a/src/tools/vmap4_extractor/CMakeLists.txt
+++ b/src/tools/vmap4_extractor/CMakeLists.txt
@@ -33,7 +33,7 @@ target_link_libraries(vmap4extractor
storm
)
-add_dependencies(vmap4extractor mpq)
+add_dependencies(vmap4extractor storm)
if( UNIX )
install(TARGETS vmap4extractor DESTINATION bin)