From 243c011ea0de49ae321e48d890281189228ab700 Mon Sep 17 00:00:00 2001 From: Yuval Tassa Date: Thu, 10 Jul 2025 03:39:33 -0700 Subject: [PATCH] Add note about performance and release builds. PiperOrigin-RevId: 781460349 Change-Id: I7defa9bf31376afa31b32f26523e8ebd9da3fc0e --- doc/programming/index.rst | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/programming/index.rst b/doc/programming/index.rst index 6486ab61..c31c7fbd 100644 --- a/doc/programming/index.rst +++ b/doc/programming/index.rst @@ -112,8 +112,11 @@ target directory. 5. Select the directory: :shell:`cmake $PATH_TO_CLONED_REPO -DCMAKE_INSTALL_PREFIX=` #. After building, install with ``cmake --install .`` -When building on Windows, use Visual Studio 2019 or later and make sure Windows SDK version 10.0.22000 or later is -installed (see :github:issue:`862` for more details). +**Notes:** + +- When building on Windows, use Visual Studio 2019 or later and make sure Windows SDK version 10.0.22000 or later is + installed (see :github:issue:`862` for more details). +- To optimize runtime performance build with ``-DCMAKE_BUILD_TYPE=Release`` .. tip:: As a reference, a working build configuration can be found in MuJoCo's