Trying to build spot with a single thread

3 years ago · 98bb05b86f
1 changed files with 1 additions and 1 deletions
--- a/resources/3rdparty/include_spot.cmake
+++ b/resources/3rdparty/include_spot.cmake
@ -30,7 +30,7 @@ if(STORM_USE_SPOT_SHIPPED AND NOT STORM_HAVE_SPOT)
        SOURCE_DIR ${STORM_3RDPARTY_BINARY_DIR}/spot_src
        PREFIX ${STORM_3RDPARTY_BINARY_DIR}/spot
        CONFIGURE_COMMAND ${STORM_3RDPARTY_BINARY_DIR}/spot_src/configure --prefix=${STORM_3RDPARTY_BINARY_DIR}/spot --disable-python
-        BUILD_COMMAND make -j
+        BUILD_COMMAND make -j1
        INSTALL_COMMAND make install
        LOG_CONFIGURE ON
        LOG_BUILD ON