cmake: support system-wide pybind11

Original behavior remains.
2023-11-12 12:04:10 +01:00
parent 8f9c690c85
commit 0ea316ed71
1 changed files with 2 additions and 1 deletions
@@ -180,9 +180,10 @@ findorfetch(
 )

 # ==================== PYBIND11 ================================================
+option(MUJOCO_PYTHON_USE_SYSTEM_PYBIND11 "Use installed pybind11 version." OFF)
 findorfetch(
  USE_SYSTEM_PACKAGE
-  OFF
+  MUJOCO_PYTHON_USE_SYSTEM_PYBIND11
  PACKAGE_NAME
  pybind11
  LIBRARY_NAME