From aad97475725414ca8349b65b8c4432d7fc750e98 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 3 May 2018 13:15:44 +0200
Subject: [PATCH] Fix for storm-dir

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

diff --git a/setup.py b/setup.py
index ef1227c..c6542a8 100755
--- a/setup.py
+++ b/setup.py
@@ -58,7 +58,7 @@ class CMakeBuild(build_ext):
         self.config.write_config("build/build_config.cfg")
 
         cmake_args = []
-        storm_dir = self.config.get_as_string("storm_dir")
+        storm_dir = os.path.expanduser(self.config.get_as_string("storm_dir"))
         if storm_dir:
             cmake_args += ['-Dstorm_DIR=' + storm_dir]
         _ = subprocess.check_output(['cmake', os.path.abspath("cmake")] + cmake_args, cwd=build_temp_version)