BPP file [option]* BPP <file [option]*
(+|-)Respectcase (+) (+|-)lineNumbers (-) Include=path1[,path2,...] (b/manif) token=definition
bpp main.b +n >outfile bpp another.b CONTROL=yes >out bpp i=b/manif/4vx,b/manif/4js2 <file1 >out -r
#include <file>
in the file being processed, BPP looks for "path1/file", then "path2/file", and so on until it finds a file that actually exists. The default search path is "b/manif".
BPP is a macro pre-processor designed for use with B programs. The BPP command invokes the BPP processor after replacing any "tokens" mentioned on the command line with their corresponding "definitions", and after setting any include search rules dictated by Include= options.
All of BPP's output is directed to standard output.
Copyright © 1996, Thinkage Ltd.