From 30db5fb1c33a5c1e587962fa0dbffef4b516d6fb Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 19 Jan 2016 18:05:08 +0100
Subject: [PATCH] removed spurious comma which made cmake behave like a 5-year
old
Former-commit-id: 3c535351c33f656a25796792e455c681a6e6b052
---
src/python/CMakeLists.txt | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/python/CMakeLists.txt b/src/python/CMakeLists.txt
index 63a1bb278..427a3bd30 100644
--- a/src/python/CMakeLists.txt
+++ b/src/python/CMakeLists.txt
@@ -4,12 +4,12 @@
##
#############################################################
-function (add_python_module _libname _modulename, _sources)
+function (add_python_module _libname _modulename _sources)
add_library(${_libname} SHARED ${_sources})
target_link_libraries(${_libname} storm ${BOOST_PYTHON_LIB} ${PYTHON_LIBRARIES})
set_target_properties(${_libname} PROPERTIES
OUTPUT_NAME "_${_modulename}"
- LIBRARY_OUTPUT_DIRECTORY ${STORMPY_OUTPUT_DIR}/${_modulename}
+ LIBRARY_OUTPUT_DIRECTORY "${STORMPY_OUTPUT_DIR}/${_modulename}"
PREFIX ""
SUFFIX ".so"
)