| 1234567891011121314151617 |
- (** Load phase, loads CiviC code from file or [stdin], and runs the C
- preprocessor. *)
- (** The load phase checks if an input file argument was specified, and loads the
- file content into a buffer. When no input file is specified, CiviC code is
- read from [stdin]. If the [-nocpp] command-line argument is not specified,
- the C preprocessor is called by calling the command [cpp -nostdinc -C
- -traditional-cpp] (see source code for comments on [cpp] arguments). The
- preprocessed code is passed to the next phase in a [FileContent]
- constructor.
- The C preprocessor is called with the current working directory and the
- directory containing the [civcc] executable as include directories (mainy
- to be able to conveniently saving [civic.h]). *)
- (** Main phase function, called by {!Main}. *)
- val phase : Main.phase_func
|