2020-11-16 13:37:01 +00:00
|
|
|
-- Note: if you would like to build and prove the same configurations,
|
|
|
|
|
-- you have to use the same options used in the prove.gpr file
|
|
|
|
|
-- in the form of "-gnateDOPTION=VALUE" compiler switches
|
|
|
|
|
|
2020-11-10 18:49:10 +00:00
|
|
|
-- Number of sockets that can be opened simultaneously
|
2020-08-03 23:11:28 +02:00
|
|
|
SOCKET_MAX_COUNT := 10
|
2020-08-04 12:22:44 +02:00
|
|
|
|
2020-11-10 18:49:10 +00:00
|
|
|
-- Default buffer size for reception
|
2020-08-04 12:22:44 +02:00
|
|
|
TCP_DEFAULT_RX_BUFFER_SIZE := 2860
|
|
|
|
|
|
2020-11-10 18:49:10 +00:00
|
|
|
-- Default buffer size for transmission
|
2020-08-04 12:22:44 +02:00
|
|
|
TCP_DEFAULT_TX_BUFFER_SIZE := 2860
|
|
|
|
|
|
2020-11-10 18:49:10 +00:00
|
|
|
-- Default SYN queue size for listening sockets
|
2020-08-04 12:22:44 +02:00
|
|
|
TCP_DEFAULT_SYN_QUEUE_SIZE := 4
|
2020-08-07 14:58:04 +02:00
|
|
|
|
2020-11-10 18:49:10 +00:00
|
|
|
-- UDP support
|
2020-11-19 10:16:12 +00:00
|
|
|
UDP_SUPPORT := True
|
2020-08-07 14:58:04 +02:00
|
|
|
|
|
|
|
|
TCP_SUPPORT := True
|
