load.mli 647 B

12345678910111213
  1. (** Load phase, loads CiviC code from file or [stdin], and runs the C
  2. preprocessor. *)
  3. (** The load phase checks if an input file argument was specified, and loads the
  4. file content into a buffer. When no input file is specified, CiviC code is
  5. read from [stdin]. If the [-nocpp] command-line argument is not specified,
  6. the C preprocessor is called by calling the command [cpp -nostdinc -C
  7. -traditional-cpp] (see source code for comments on [cpp] arguments). The
  8. preprocessed code is passed to the next phase in a [FileContent]
  9. constructor. *)
  10. (** Main phase function, called by {!Main}. *)
  11. val phase : Main.phase_func