summaryrefslogtreecommitdiff
path: root/utils/clflags.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-05-04 10:15:53 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-05-04 10:15:53 +0000
commit61bd8ace6bdb2652f4d51d64e3239a7105f56c26 (patch)
treee8b957df0957c1b483d41d68973824e280445548 /utils/clflags.ml
parent8f9ea2a7b886e3e0a5cfd76b11fe79d083a7f20c (diff)
downloadocaml-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.ml19
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 *)