update install.sh

randriu · Aug 26, 2024 · 66c30b7 · 66c30b7
1 parent 5f5a9c2
commit 66c30b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install.sh b/install.sh
@@ -35,7 +35,7 @@ git clone https://github.com/moves-rwth/storm.git storm
 mkdir -p ${PREREQUISITES}/storm/build
 cd ${PREREQUISITES}/storm/build
 cmake ..
-make storm-main storm-pomdp --jobs ${COMPILE_JOBS}
+make storm storm-pomdp storm-counterexamples --jobs ${COMPILE_JOBS}
 # make check --jobs ${COMPILE_JOBS}
 
 # setup and activate python environment