Fixed build errors on Windows

Former-commit-id: 10929f075d
12 years ago · 7c0dd5eaf5
3 changed files with 5 additions and 3 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -361,9 +361,9 @@ endif(ENABLE_GUROBI)
 if (ENABLE_Z3)
    message (STATUS "StoRM - Linking with Z3")
 	include_directories("${Z3_ROOT}/include")
-    target_link_libraries(storm "z3")
-    target_link_libraries(storm-functional-tests "z3")
-    target_link_libraries(storm-performance-tests "z3")
+    target_link_libraries(storm "libz3")
+    target_link_libraries(storm-functional-tests "libz3")
+    target_link_libraries(storm-performance-tests "libz3")
 endif(ENABLE_Z3)

 #############################################################
--- a/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
+++ b/src/ir/expressions/BinaryNumericalFunctionExpression.cpp
@ -6,6 +6,7 @@
 */

 #include <sstream>
+#include <algorithm>

 #include "BinaryNumericalFunctionExpression.h"

--- a/src/storage/VectorSet.h
+++ b/src/storage/VectorSet.h
@ -8,6 +8,7 @@
 #ifndef STORM_STORAGE_VECTORSET_H
 #define STORM_STORAGE_VECTORSET_H

+#include <set>
 #include <algorithm>
 #include <iostream>