diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 10:15:53 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 10:15:53 +0000 |
| commit | 61bd8ace6bdb2652f4d51d64e3239a7105f56c26 (patch) | |
| tree | e8b957df0957c1b483d41d68973824e280445548 /utils/clflags.ml | |
| parent | 8f9ea2a7b886e3e0a5cfd76b11fe79d083a7f20c (diff) | |
| download | ocaml-61bd8ace6bdb2652f4d51d64e3239a7105f56c26.tar.gz | |
Passage a la version bootstrappee (franchissement du Rubicon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml new file mode 100644 index 0000000000..243e358ec5 --- /dev/null +++ b/utils/clflags.ml @@ -0,0 +1,19 @@ +(* Command-line parameters *) + +let objfiles = ref ([] : string list) (* .cmo and .cma files *) +and ccobjs = ref ([] : string list) (* .o, .a and -lxxx files *) + +let compile_only = ref false (* -c *) +and exec_name = ref "a.out" (* -o *) +and archive_name = ref "library.cma" (* -o *) +and include_dirs = ref ([] : string list)(* - I *) +and print_types = ref false (* -i *) +and make_archive = ref false (* -a *) +and fast = ref false (* -fast *) +and link_everything = ref false (* -linkall *) +and custom_runtime = ref false (* -custom *) +and ccopts = ref ([] : string list) (* -ccopt *) +and nopervasives = ref false (* -nopervasives *) + +let dump_lambda = ref false (* -dlambda *) +and dump_instr = ref false (* -dinstr *) |
