STRIDE Build Tools: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 37: | Line 37: | ||
on the preprocessing output file a list of dependency lines suitable for | on the preprocessing output file a list of dependency lines suitable for | ||
input to the UNIX make program. | input to the UNIX make program. | ||
|- | |||
|--no_line_commands | |||
| Same as –preprocess except that line number information is removed from the preprocessed output files. | |||
|- | |||
| --c++ | |||
| Enable compilation of c++. | |||
|- | |||
| --c | |||
| Enable compilation of C (specifically C89). This is the default | |||
|} | |} | ||
Revision as of 04:31, 18 June 2008
Top level page for Build Tools topic.
Media Tag: Media:s2sPAL.pdf
Image Tag: File:ProductionBuildEFS.jpg
Build Tools
Commandline Utilities:
- The STRIDE compiler (s2scompile.exe)
- The STRIDE database binder (s2sbind.exe)
- The STRIDE instrumentation generator (s2sinstrument.exe)
The s2scompile Component
Syntax and Options
| Option | Description |
| --preprocess | Do preprocessing only. Write preprocessed text file to the output. The
output file suffix is automatically changed to .i |
| --dependencies | Do preprocessing only. Instead of the normal preprocessing output, generate
on the preprocessing output file a list of dependency lines suitable for input to the UNIX make program. |
| Same as –preprocess except that line number information is removed from the preprocessed output files. | |
| --c++ | Enable compilation of c++. |
| --c | Enable compilation of C (specifically C89). This is the default |