STRIDE Build Tools
Jump to navigation
Jump to search
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 |