-gnat05 -O3 -gnatp -Ic:\spark\2011\lib\spark -Ic:\spark\2011\lib\spark\current


spark_dns_main
WINDOWS_TARGET


Query_Name_Type_Class
tcp
Output_Bytes := DNS_Types
Integer(Start_Byte)
End_Byte
Max_Transit
Start_Byte
process_request_tcp
QNAME_PTR_RANGE
Create_Response(
-- Begin compiler switches
DEBUG <- active (current) build mode
TRUE <- are gcc/gnatmake/main/target-dir of Release := these from Debug mode ?
debug o2 false
debug inlining false
debug unroll_loops false
debug suppress_all_checks false
debug debug_info true
debug integer_overflow_check true
debug stack_check false
debug trace_back false
debug all_validity_checks false
debug strip_all_symbols false
debug profiling false
debug verbose_details false
debug all_warnings true
debug build_in_place false
release o2 true
release inlining true
release unroll_loops true
release suppress_all_checks true
release debug_info false
release integer_overflow_check false
release stack_check false
release trace_back false
release all_validity_checks false
release strip_all_symbols true
release profiling false
release verbose_details false
release all_warnings true
release build_in_place false
-- End compiler switches
-- Begin Release mode commands
-gnat05 -O3 -gnatp -Ic:\spark\2011\lib\spark -Ic:\spark\2011\lib\spark\current


spark_dns_main
-- End Release mode commands
-- Begin run options
prompt_arguments false
ad_trace_back false
-- End run options