1 (***********************************************************************)
5 (* Damien Doligez, projet Para, INRIA Rocquencourt *)
7 (* Copyright 1998 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
15 module Make_options
(F
:
19 val _cc
: string -> unit
20 val _cclib
: string -> unit
21 val _ccopt
: string -> unit
22 val _config
: unit -> unit
23 val _custom
: unit -> unit
24 val _dllib
: string -> unit
25 val _dllpath
: string -> unit
26 val _dtypes
: unit -> unit
29 val _I
: string -> unit
30 val _impl
: string -> unit
31 val _intf
: string -> unit
32 val _intf_suffix
: string -> unit
33 val _labels
: unit -> unit
34 val _linkall
: unit -> unit
35 val _make_runtime
: unit -> unit
36 val _noassert
: unit -> unit
37 val _noautolink
: unit -> unit
38 val _nolabels
: unit -> unit
39 val _nostdlib
: unit -> unit
40 val _o
: string -> unit
41 val _output_obj
: unit -> unit
42 val _pack
: unit -> unit
43 val _pp
: string -> unit
44 val _principal
: unit -> unit
45 val _rectypes
: unit -> unit
46 val _thread
: unit -> unit
47 val _vmthread
: unit -> unit
48 val _unsafe
: unit -> unit
49 val _use_prims
: string -> unit
50 val _use_runtime
: string -> unit
52 val _version
: unit -> unit
53 val _verbose
: unit -> unit
54 val _w
: string -> unit
55 val _warn_error
: string -> unit
56 val _where
: unit -> unit
58 val _nopervasives
: unit -> unit
59 val _dparsetree
: unit -> unit
60 val _drawlambda
: unit -> unit
61 val _dlambda
: unit -> unit
62 val _dinstr
: unit -> unit
63 val anonymous
: string -> unit
66 val list
: (string * Arg.spec
* string) list