2012-10-06 02:30:14 +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-10-06 02:30:14 +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 "serial" TYPE "device"
|
|
|
|
DESCRIPTION "Serial Port Virtual Channel Extension"
|
|
|
|
SPECIFICATIONS "[MS-RDPESP]"
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
|
|
|
|