2012-09-23 02:08:22 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
set(OPTION_DEFAULT OFF)
|
|
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
2012-09-23 02:08:22 +04:00
|
|
|
|
|
|
|
|
if(WIN32)
|
2012-10-20 00:47:48 +04:00
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
|
endif()
|
|
|
|
|
|
2012-10-22 23:03:38 +04:00
|
|
|
if(ANDROID)
|
|
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
|
endif()
|
|
|
|
|
|
2012-10-19 23:27:55 +04:00
|
|
|
define_channel_options(NAME "tsmf" TYPE "dynamic"
|
|
|
|
|
DESCRIPTION "Video Redirection Virtual Channel Extension"
|
|
|
|
|
SPECIFICATIONS "[MS-RDPEV]"
|
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
2012-09-23 02:08:22 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
|
|
|
|
|
