patch for cmake_minimum_required version

2025-09-15 11:40:08 +01:00
parent 4fc69fa64d
commit 83a619c5b7
3 changed files with 18 additions and 1 deletions
@@ -12,7 +12,8 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.

-cmake_minimum_required(VERSION 3.16)
+set(MUJOCO_CMAKE_MIN_REQ "3.16")
+cmake_minimum_required(VERSION ${MUJOCO_CMAKE_MIN_REQ})

 # Make CMAKE_C_VISIBILITY_PRESET work properly.
 set(CMAKE_POLICY_DEFAULT_CMP0063 NEW)