load.mli 852 B

1234567891011121314151617
  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. The C preprocessor is called with the current working directory and the
  11. directory containing the [civcc] executable as include directories (mainy
  12. to be able to conveniently saving [civic.h]). *)
  13. (** Main phase function, called by {!Main}. *)
  14. val phase : Main.phase_func