From ad3ce95d101f3f08414529581439f1dd63c80e4e Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Mon, 19 Dec 2016 21:38:22 +0100
Subject: [PATCH] setup.py: use (virtual) CPU count as make -j arg

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 85c7685..7ce0997 100755
--- a/setup.py
+++ b/setup.py
@@ -49,7 +49,7 @@ class CMakeBuild(build_ext):
         build_args = ['--config', cfg]
 
         cmake_args += ['-DCMAKE_BUILD_TYPE=' + cfg]
-        build_args += ['--', '-j2']
+        build_args += ['--', '-j{}'.format(os.cpu_count() if os.cpu_count() is not None else 2)]
         if hasattr(self, 'storm_dir'):
             cmake_args += ['-Dstorm_DIR=' + self.storm_dir]