From 98bb05b86fdfa777b18c0ab9f82f58776a5eb40a Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 5 Aug 2021 11:31:22 +0200
Subject: [PATCH] Trying to build spot with a single thread

---
 resources/3rdparty/include_spot.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/include_spot.cmake b/resources/3rdparty/include_spot.cmake
index eaca6bc5a..d05f10b85 100644
--- 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