update target install permissions
parent
7cef4e55fb
commit
752bc5a04f
|
@ -102,11 +102,11 @@ if (UNIX)
|
||||||
set(DESTDIR "/usr/local")
|
set(DESTDIR "/usr/local")
|
||||||
INSTALL(TARGETS opengjk_ce
|
INSTALL(TARGETS opengjk_ce
|
||||||
LIBRARY DESTINATION "${DESTDIR}/lib"
|
LIBRARY DESTINATION "${DESTDIR}/lib"
|
||||||
PERMISSIONS WORLD_WRITE
|
PERMISSIONS WORLD_READ GROUP_READ OWNER_READ
|
||||||
)
|
)
|
||||||
INSTALL(TARGETS obj_openGJK
|
INSTALL(TARGETS obj_openGJK
|
||||||
PUBLIC_HEADER DESTINATION "${DESTDIR}/include/openGJK"
|
PUBLIC_HEADER DESTINATION "${DESTDIR}/include/openGJK"
|
||||||
PERMISSIONS WORLD_WRITE
|
PERMISSIONS WORLD_READ GROUP_READ OWNER_READ
|
||||||
)
|
)
|
||||||
endif (UNIX)
|
endif (UNIX)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue