diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/map_extractor/CMakeLists.txt | 1 | ||||
| -rw-r--r-- | src/tools/vmap4_extractor/CMakeLists.txt | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/src/tools/map_extractor/CMakeLists.txt b/src/tools/map_extractor/CMakeLists.txt index 99bdc1feb5f..af66b73827e 100644 --- a/src/tools/map_extractor/CMakeLists.txt +++ b/src/tools/map_extractor/CMakeLists.txt @@ -23,7 +23,6 @@ add_executable(mapextractor ) target_link_libraries(mapextractor - mpq ${BZIP2_LIBRARIES} ${ZLIB_LIBRARIES} storm diff --git a/src/tools/vmap4_extractor/CMakeLists.txt b/src/tools/vmap4_extractor/CMakeLists.txt index 8066b18423a..3f6b2673be2 100644 --- a/src/tools/vmap4_extractor/CMakeLists.txt +++ b/src/tools/vmap4_extractor/CMakeLists.txt @@ -28,7 +28,6 @@ include_directories( add_executable(vmap4extractor ${sources}) target_link_libraries(vmap4extractor - mpq ${BZIP2_LIBRARIES} ${ZLIB_LIBRARIES} storm |