You've already forked Http_Cyclone
mirror of
https://github.com/AdaCore/Http_Cyclone.git
synced 2026-02-12 13:07:39 -08:00
34 lines
1.1 KiB
Plaintext
34 lines
1.1 KiB
Plaintext
project Prove is
|
|
|
|
for Source_Dirs use (".", "src/**");
|
|
for Excluded_Source_Files use ("socket_interface_tcp_udp.ads",
|
|
"socket_interface_tcp_udp.adb",
|
|
"socket_interface_tcp.ads",
|
|
"socket_interface_tcp.adb");
|
|
|
|
-- Note: if you would like to build and prove the same configurations,
|
|
-- you have to use the same options in the config.def
|
|
-- using the "-gnateDOPTION=VALUE" to the compiler switches
|
|
|
|
Package Compiler is
|
|
for default_switches ("Ada") use
|
|
("-gnat2020", "-gnaty", "-gnatwa", "-gnatwaUK",
|
|
-- Number of sockets that can be opened simultaneously
|
|
"-gnateDSOCKET_MAX_COUNT=10",
|
|
-- Default buffer size for reception
|
|
"-gnateDTCP_DEFAULT_RX_BUFFER_SIZE=2860",
|
|
-- Default buffer size for transmission
|
|
"-gnateDTCP_DEFAULT_TX_BUFFER_SIZE=2860",
|
|
-- Default SYN queue size for listening sockets
|
|
"-gnateDTCP_DEFAULT_SYN_QUEUE_SIZE=4",
|
|
-- UDP support
|
|
"-gnateDUDP_SUPPORT=True",
|
|
-- TCP support
|
|
"-gnateDTCP_SUPPORT=True"
|
|
);
|
|
end Compiler;
|
|
|
|
|
|
end Prove;
|
|
|