linusheck
diff --git a/‎.DS_Store‎
-8 KB b/‎.DS_Store‎
-8 KB
diff --git a/‎README.md‎
Lines changed: 3 additions & 2 deletions b/‎README.md‎
Lines changed: 3 additions & 2 deletions
diff --git a/‎misc/custom/.DS_Store‎
-6 KB b/‎misc/custom/.DS_Store‎
-6 KB
diff --git a/‎paper_results/.DS_Store‎
-6 KB b/‎paper_results/.DS_Store‎
-6 KB
diff --git a/‎resources/benchmark-q1/jair/.DS_Store‎
-6 KB b/‎resources/benchmark-q1/jair/.DS_Store‎
-6 KB
diff --git a/‎resources/test/.DS_Store‎
-6 KB b/‎resources/test/.DS_Store‎
-6 KB
diff --git a/‎benchmark.sh‎ ‎scripts/benchmark.sh‎benchmark.sh renamed to scripts/benchmark.sh b/‎benchmark.sh‎ ‎scripts/benchmark.sh‎benchmark.sh renamed to scripts/benchmark.sh
diff --git a/‎plot.sh‎ ‎scripts/plot.sh‎plot.sh renamed to scripts/plot.sh b/‎plot.sh‎ ‎scripts/plot.sh‎plot.sh renamed to scripts/plot.sh
diff --git a/‎tree_tables.sh‎ ‎scripts/tree_tables.sh‎tree_tables.sh renamed to scripts/tree_tables.sh b/‎tree_tables.sh‎ ‎scripts/tree_tables.sh‎tree_tables.sh renamed to scripts/tree_tables.sh
@@ -29,6 +29,7 @@ Please refer to [Storm documentation](https://www.stormchecker.org/documentation
 
 ```shell
 python3 -m venv venv && source venv/bin/activate
+pip install -r build-requirements.txt 
 mkdir prerequisites && cd prerequisites
 git clone https://github.com/moves-rwth/storm.git
 git clone https://github.com/moves-rwth/stormpy.git
@@ -37,9 +38,9 @@ mkdir storm/build && cd storm/build
 cmake ..
 make storm storm-cli storm-pomdp
 cd - && cd stormpy
-pip install . --config-settings=cmake.define.USE_STORM_DFT=OFF --config-settings=cmake.define.USE_STORM_GSPN=OFF
+pip install . --config-settings=cmake.define.USE_STORM_DFT=OFF --config-settings=cmake.define.USE_STORM_GSPN=OFF --config-settings=cmake.define.STORM_DIR_HINT=../storm/build
 cd - && cd synthesis
-pip install . --no-build-isolation
+pip install . --no-build-isolation --config-settings=cmake.define.STORM_DIR_HINT=../storm/build
 ```
 
 ## Run molehill