Some common points between coqc and other coq binaries.

- Binding coqc execution to the generic support for Coq binaries
  (i.e. to start_coq).
- Moving init_toploop to the init part of coq executables so that coqc
  can avoid to call it. By the way, it is unclear what workerloop
  should do with it. Also, it is unclear how much the -l option should
  be considered an coqidetop or coq*worker option. In any case, it
  should be disallowed in coqc, I guess?
- Moving the custom init part at the end of the initialization
  phase. Seems ok, despites the few involved side effects.

0 files changed, 0 insertions, 0 deletions