diff options
Diffstat (limited to 'mujoco.patch')
| -rw-r--r-- | mujoco.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/mujoco.patch b/mujoco.patch index b65d6bd35afb..5e3e3d2a51f8 100644 --- a/mujoco.patch +++ b/mujoco.patch @@ -138,15 +138,6 @@ index 3534929..6732055 100644 ) if(MUJOCO_EXTRAS_STATIC_GLFW) set(BUILD_SHARED_LIBS_OLD ${BUILD_SHARED_LIBS}) -@@ -78,7 +78,7 @@ findorfetch( - USE_SYSTEM_PACKAGE - MUJOCO_SAMPLES_USE_SYSTEM_GLFW - PACKAGE_NAME -- glfw -+ glfw3 - LIBRARY_NAME - glfw - GIT_REPO diff --git a/simulate/cmake/SimulateDependencies.cmake b/simulate/cmake/SimulateDependencies.cmake index 9fba6a2..6404d29 100644 --- a/simulate/cmake/SimulateDependencies.cmake @@ -171,12 +162,3 @@ index 9fba6a2..6404d29 100644 ) if(MUJOCO_EXTRAS_STATIC_GLFW) set(BUILD_SHARED_LIBS_OLD ${BUILD_SHARED_LIBS}) -@@ -78,7 +78,7 @@ findorfetch( - USE_SYSTEM_PACKAGE - MUJOCO_SIMULATE_USE_SYSTEM_GLFW - PACKAGE_NAME -- glfw -+ glfw3 - LIBRARY_NAME - glfw - GIT_REPO |