You've already forked Http_Cyclone
mirror of
https://github.com/AdaCore/Http_Cyclone.git
synced 2026-02-12 13:07:39 -08:00
21 lines
569 B
Modula-2
21 lines
569 B
Modula-2
-- 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
|
|
|
|
-- Number of sockets that can be opened simultaneously
|
|
SOCKET_MAX_COUNT := 10
|
|
|
|
-- Default buffer size for reception
|
|
TCP_DEFAULT_RX_BUFFER_SIZE := 2860
|
|
|
|
-- Default buffer size for transmission
|
|
TCP_DEFAULT_TX_BUFFER_SIZE := 2860
|
|
|
|
-- Default SYN queue size for listening sockets
|
|
TCP_DEFAULT_SYN_QUEUE_SIZE := 4
|
|
|
|
-- UDP support
|
|
UDP_SUPPORT := True
|
|
|
|
TCP_SUPPORT := True
|