STRIDE Build Tools

From STRIDE Wiki
Revision as of 18:21, 18 June 2008 by Stevel (talk | contribs)
Jump to navigation Jump to search

Top level page for Build Tools topic.

PAL pdf document: [1] [2]

Media Tag: Media:s2sPAL.pdf

Image Tag: File:ProductionBuildEFS.jpg

Build Tools

Commandline Utilities:

  1. The STRIDE compiler (s2scompile.exe)
  1. The STRIDE database binder (s2sbind.exe)
  1. 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.

--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.
--include_directory=<dir> --sys_include=<dir> -I<dir> Add dir to the end of the list of directories searched for #includes.


The s2sbind Component

Syntax and Options

The s2sinstrument Component

Syntax and Options