currently no sysversions (#146)

moves-rwth · Dec 6, 2023 · 7e5019d · 7e5019d
1 parent 2ced38f
commit 7e5019d
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/resources/include_pybind11.cmake b/resources/include_pybind11.cmake
@@ -1,7 +1,7 @@
-find_package(pybind11 ${PYBIND_VERSION} CONFIG QUIET)
-if(pybind11_FOUND)
-    message(STATUS "Stormpy - Using system version of pybind11 (version ${pybind_VERSION}).")
-else()
+#find_package(pybind11 ${PYBIND_VERSION} CONFIG QUIET)
+#if(pybind11_FOUND)
+#    message(STATUS "Stormpy - Using system version of pybind11 (version ${PYBIND_VERSION}).")
+#else()
     message(STATUS "Stormpy - Using shipped version of pybind11 (version ${PYBIND_VERSION}).")
 
     include(FetchContent)
@@ -13,5 +13,5 @@ else()
     )
 
     FetchContent_MakeAvailable(pybind11)
-endif()
+#endif()