summaryrefslogtreecommitdiff
path: root/driver/optmaindriver.mli
blob: 3397452d82c31ddfeb1e78889b8561b9c3a450a5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
(**************************************************************************)
(*                                                                        *)
(*                                 OCaml                                  *)
(*                                                                        *)
(*           Damien Doligez, projet Moscova, INRIA Rocquencourt           *)
(*                                                                        *)
(*   Copyright 2000 Institut National de Recherche en Informatique et     *)
(*     en Automatique.                                                    *)
(*                                                                        *)
(*   All rights reserved.  This file is distributed under the terms of    *)
(*   the GNU Lesser General Public License version 2.1, with the          *)
(*   special exception on linking described in the file LICENSE.          *)
(*                                                                        *)
(**************************************************************************)

(* [main argv ppf] runs the compiler with arguments [argv], printing any
   errors encountered to [ppf], and returns the exit code.

   NB: Due to internal state in the compiler, calling [main] twice during
   the same process is unsupported. *)
val main : string array -> Format.formatter -> int