STRIDE Build Tools: Difference between revisions

From STRIDE Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 25: Line 25:
==== Syntax and Options ====
==== Syntax and Options ====
{| border="1" cellspacing="0" cellpadding="10" style="align:left;background-color:#ffffcc;"   
{| border="1" cellspacing="0" cellpadding="10" style="align:left;background-color:#ffffcc;"   
|-
!width="200pt"|'''Option'''
| '''Option'''
!width="500pt"|'''Description'''
| '''Description'''
|-  
|-  
| --preprocess
| --preprocess
Line 36: Line 35:
| Do preprocessing only. Instead of the normal preprocessing output, generate  
| Do preprocessing only. Instead of the normal preprocessing output, generate  
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
| --no_line_commands
| Same as –preprocess except that line number information is removed from the preprocessed output files.
| Same as –preprocess except that line number information is removed from the preprocessed output files.
|-
|-
Line 45: Line 44:
|-
|-
| --c
| --c
| Enable compilation of C (specifically C89). This is the default
| 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.
|}
|}



Revision as of 18:21, 18 June 2008

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