Merge pull request #311 from lucas-inacio:main
PiperOrigin-RevId: 453879533 Change-Id: Ic535ad0a2bc919e98af0561fd9bad1708e9019f6
This commit is contained in:
+1
-1
@@ -66,7 +66,7 @@ set(MUJOCO_HEADERS
|
||||
add_library(mujoco SHARED)
|
||||
target_include_directories(
|
||||
mujoco
|
||||
PUBLIC $<BUILD_INTERFACE:${CMAKE_SOURCE_DIR}/include>
|
||||
PUBLIC $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
|
||||
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}/>
|
||||
PRIVATE src
|
||||
)
|
||||
|
||||
Reference in New Issue
Block a user