contracts: change the contract syntax
[nit.git] / tests / sav / nitc.res
index bc659d0..daade81 100644 (file)
@@ -1,32 +1,3 @@
-usage: nitc [options] file...
-  -W, --warn                      Show warnings
-  -q, --quiet                     Do not show warnings
-  --stop-on-first-error           Stop on first error
-  --no-color                      Do not use color to display errors and warnings
-  --log                           Generate various log files
-  --log-dir                       Directory where to generate log files
-  -h, -?, --help                  Show Help (This screen)
-  --version                       Show version and exit
-  -v, --verbose                   Verbose
-  -I, --path                      Set include path for loaders (may be used more than once)
-  --only-parse                    Only proceed to parse step of loaders
-  --only-metamodel                Stop after meta-model processing
-  --global                        Use global compilation
-  --no-global-SFT-optimization    Do not use SFT optimization
-  --no-global-DMR-optimization    Do not use dead method removal optimization
-  --global-callgraph              The algorithm to use to build the callgraph <none, cha, rta>
-  --no-global-get-set-inlining    Do not automatically inline getters/setters
-  --no-global-RFIM-analysis       Do not use a specialized algorithm to find reachable methods from initializers
-  --no-global-OOIT-optimization   Do not remove get tests outside object initialization
-  -o, --output                    Output file
-  -O, --boost                     Optimize compilation
-  --no-cc                         Do not invoke C compiler
-  --cc-no-link                    Do not invoke C linker
-  --cc-lib-name                   Name of library to use for C compiler
-  --cc-lib-path                   Path to libraries for C compiler
-  --cc-header-path                Path to .h files for C compiler
-  --clibdir                       NIT C library directory
-  --bindir                        NIT tools directory
-  --compdir                       Intermediate compilation directory
-  -p, --extension-prefix          Append prefix to file extension
-  --output-format                 The type of code we want to be generated <none, C, icode>
+Usage: nitc [OPTION]... file.nit...
+Compiles Nit programs.
+Use --help for help