From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ebfd1d7c60facfc5 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit From: "Scott Travak" Newsgroups: comp.lang.ada References: <414eee7d@dnews.tpgi.com.au> <414efb5b$1_1@baen1673807.greenlnk.net> <414fcb04$1@dnews.tpgi.com.au> Subject: Re: gnat options (Re: elaboration circularity detected problem, How to fix? Date: Tue, 21 Sep 2004 18:00:04 +1000 Organization: - X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.2180 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 NNTP-Posting-Host: 220.244.246.157 X-Original-NNTP-Posting-Host: 220.244.246.157 Message-ID: <414fdf87@dnews.tpgi.com.au> X-Trace: dnews.tpgi.com.au!tpg.com.au 1095753607 220.244.246.157 (21 Sep 2004 18:00:07 +1000) Path: g2news1.google.com!news1.google.com!news.glorb.com!solnet.ch!solnet.ch!nntp.gblx.net!nntp3.phx1!dnews.tpgi.com.au!tpg.com.au!not-for-mail Xref: g2news1.google.com comp.lang.ada:3888 Date: 2004-09-21T18:00:04+10:00 List-Id: well executing gnatmake gives a summary of the options. Or did you want something more indepth? C:\>gnatmake Usage: gnatmake opts name {[-cargs opts] [-bargs opts] [-largs opts]} name is a file name from which you can omit the .adb or .ads suffix gnatmake switches: -a Consider all files, even readonly ali files -b Bind only -c Compile only -C Cache source mappings: invoke the compiler with a mapping file -f Force recompilations of non predefined units -i In place. Replace existing ali file, or put it with source -jnum Use nnn processes to compile -k Keep going after compilation errors -l Link only -m Minimal recompilation -M List object file dependences for Makefile -n Check objects up to date, output next file to compile if not -o name Choose an alternate executable name -Pproj Use GNAT Project File proj -q Be quiet/terse -s Recompile if compiler switches have changed -u Unique compilation. Only compile the given file. -v Display reasons for all (re)compilations -vPx Specify verbosity when parsing GNAT Project Files -Xnm=val Specify an external reference for GNAT Project Files -z No main subprogram (zero main) --GCC=command Use this gcc command --GNATBIND=command Use this gnatbind command --GNATLINK=command Use this gnatlink command Source and Library search path switches: -aLdir Skip missing library sources if ali in dir -Adir like -aLdir -aIdir -aOdir Specify library/object files search path -aIdir Specify source files search path -Idir Like -aIdir -aOdir -I- Don't look for sources & library files in the default directory -Ldir Look for program libraries also in dir -nostdinc Don't look for sources in the system default directory -nostdlib Don't look for library files in the system default directory --RTS=dir specify the default source and object search path To pass an arbitrary switch to the Compiler, Binder or Linker: -cargs opts opts are passed to the compiler -bargs opts opts are passed to the binder -largs opts opts are passed to the linker Compiler switches (passed to the compiler by gnatmake): -fstack-check Generate stack checking code -fno-inline Inhibit all inlining (makes executable smaller) -g Generate debugging information -Idir Specify source files search path -I- Do not look for sources in current directory -O[0123] Control the optimization level -gnata Assertions enabled. Pragma Assert/Debug to be activated -gnatA Avoid processing gnat.adc, if present file will be ignored -gnatb Generate brief messages to stderr even if verbose mode set -gnatc Check syntax and semantics only (no code generation) -gnatC Compress names in external names and debug info tables -gnatd? Compiler debug option ? (a-z,A-Z,0-9), see debug.adb -gnatD Debug expanded generated code rather than source code -gnatec? Specify configuration pragmas file, e.g. -gnatec/x/f.adc -gnatem? Specify mapping file, e.g. -gnatemmapping -gnatE Dynamic elaboration checking mode enabled -gnatf Full errors. Verbose details, all undefined references -gnatF Force all import/export external names to all uppercase -gnatg GNAT implementation mode (used for compiling GNAT units) -gnatG Output generated expanded code in source form -gnath Output this usage (help) information -gnati? Identifier char set (?=1/2/3/4/5/8/9/p/f/n/w) -gnatk Limit file names to nnn characters (k = krunch) -gnatl Output full source listing with embedded error messages -gnatL Use longjmp/setjmp for exception handling -gnatmnnn Limit number of detected errors to nnn (1-999) -gnatn Inlining of subprograms (apply pragma Inline across units) -gnatN Full (frontend) inlining of subprograqms -gnato Enable overflow checking (off by default) -gnatO nm Set name of output ali file (internal switch) -gnatp Suppress all checks -gnatP Generate periodic calls to System.Polling.Poll -gnatq Don't quit, try semantics, even if parse errors -gnatQ Don't quit, write ali/tree file even if compile errors -gnatR? List rep inf (?=0/1/2/3 for none/types/all/variable) -gnats Syntax check only -gnatt Tree output file to be generated -gnatTnnn All compiler tables start at nnn times usual starting size -gnatu List units for this compilation -gnatU Enable unique tag for error messages -gnatv Verbose mode. Full error output with source lines to stdout -gnatVxx Enable selected validity checking mode, xx = list of parameters: a turn on all validity checking options c turn on checking for copies C turn off checking for copies d turn on default (RM) checking D turn off default (RM) checking f turn on checking for floating-point F turn off checking for floating-point i turn on checking for in params I turn off checking for in params m turn on checking for in out params M turn off checking for in out params o turn on checking for operators/attributes O turn off checking for operators/attributes r turn on checking for returns R turn off checking for returns s turn on checking for subscripts S turn off checking for subscripts t turn on checking for tests T turn off checking for tests n turn off all validity checks (including RM) -gnatwxx Enable selected warning modes, xx = list of parameters: a turn on all optional warnings (except b,h) A turn off all optional warnings b turn on biased rounding warnings B turn off biased rounding warnings c turn on constant conditional warnings C* turn off constant conditional warnings e treat all warnings as errors f turn on unreferenced formal warnings F* turn off unreferenced formal warnings h turn on warnings for hiding variables H* turn off warnings for hiding variables i* turn on warnings for implementation units I turn off warnings for implementation units l turn on elaboration warnings L* turn off elaboration warnings o* turn on address clause overlay warnings O turn off address clause overlay warnings p turn on warnings for ineffective pragma inline P* turn off warnings for ineffective pragma inline r turn on redundant construct warnings R* turn off redundant construct warnings s suppress all warnings u turn on warnings for unused entities U* turn off warnings for unused entities * indicates default in above list -gnatW Wide character encoding method (h/u/s/e/8/b) -gnatx Suppress output of cross-reference information -gnatX Language extensions permitted -gnaty Enable all style checks except 'o', indent=3 -gnatyxx Enable selected style checks xx = list of parameters: 1-9 check indentation a check attribute casing b check no blanks at end of lines c check comment format e check end/exit labels present f check no form feeds/vertical tabs in source h check no horizontal tabs in source i check if-then layout k check casing rules for keywords, identifiers l check reference manual layout m check line length <= 79 characters n check casing of package Standard identifiers Mnnn check line length <= nnn characters o check subprogram bodies in alphabetical order p check pragma casing r check RM column layout s check separate subprogram specs present t check token separation rules -gnatz Distribution stub generation (r/s for receiver/sender stubs) -gnatZ Use zero cost exception handling -gnat83 Enforce Ada 83 restrictions