]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/contrib/camlp4/Camlp4_config.mli
Inital import
[l4.git] / l4 / pkg / ocaml / contrib / camlp4 / Camlp4_config.mli
1 (****************************************************************************)
2 (*                                                                          *)
3 (*                              Objective Caml                              *)
4 (*                                                                          *)
5 (*                            INRIA Rocquencourt                            *)
6 (*                                                                          *)
7 (*  Copyright  2006   Institut National de Recherche  en  Informatique et   *)
8 (*  en Automatique.  All rights reserved.  This file is distributed under   *)
9 (*  the terms of the GNU Library General Public License, with the special   *)
10 (*  exception on linking described in LICENSE at the top of the Objective   *)
11 (*  Caml source tree.                                                       *)
12 (*                                                                          *)
13 (****************************************************************************)
14
15 (* Authors:
16  * - Daniel de Rauglaudre: initial version
17  * - Nicolas Pouillard: refactoring
18  *)
19
20 val version                      : string;;
21 val ocaml_standard_library       : string;;
22 val camlp4_standard_library      : string;;
23 val ocaml_ast_impl_magic_number  : string;;
24 val ocaml_ast_intf_magic_number  : string;;
25 val camlp4_ast_impl_magic_number : string;;
26 val camlp4_ast_intf_magic_number : string;;
27 val program_name                 : string ref;;
28 val unsafe                       : bool ref;;
29 val verbose                      : bool ref;;
30 val quotations                   : bool ref;;
31 val antiquotations               : bool ref;;
32 val constructors_arity           : bool ref;;
33 val inter_phrases                : (string option) ref;;
34 val current_input_file           : string ref;;