diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-03-17 16:18:05 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-03-17 16:18:05 +0000 |
| commit | a53ce2df70be41722d1b1054d1b06af4560d691f (patch) | |
| tree | 2429cd9b45cb7cae7e0d3dd2826de05b6d1079ed /utils | |
| parent | 80384c6d8401cdd897e7ff4c75a7a7b1a12b5585 (diff) | |
| download | ocaml-a53ce2df70be41722d1b1054d1b06af4560d691f.tar.gz | |
add option -runtime-variant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/clflags.ml | 4 | ||||
| -rw-r--r-- | utils/clflags.mli | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 1074d3628c..b289744770 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -46,7 +46,7 @@ and principal = ref false (* -principal *) and recursive_types = ref false (* -rectypes *) and strict_sequence = ref false (* -strict-sequence *) and applicative_functors = ref true (* -no-app-funct *) -and make_runtime = ref false (* -make_runtime *) +and make_runtime = ref false (* -make-runtime *) and gprofile = ref false (* -p *) and c_compiler = ref (None: string option) (* -cc *) and no_auto_link = ref false (* -noautolink *) @@ -92,3 +92,5 @@ let std_include_dir () = let shared = ref false (* -shared *) let dlcode = ref true (* not -nodynlink *) + +let runtime_variant = ref "";; (* -runtime-variant *) diff --git a/utils/clflags.mli b/utils/clflags.mli index d5357ef396..c3a3966b58 100644 --- a/utils/clflags.mli +++ b/utils/clflags.mli @@ -76,3 +76,4 @@ val std_include_flag : string -> string val std_include_dir : unit -> string list val shared : bool ref val dlcode : bool ref +val runtime_variant : string ref |