| Line | |
|---|
| 1 | (* *********************************************************************) |
|---|
| 2 | (* *) |
|---|
| 3 | (* The Compcert verified compiler *) |
|---|
| 4 | (* *) |
|---|
| 5 | (* Xavier Leroy, INRIA Paris-Rocquencourt *) |
|---|
| 6 | (* *) |
|---|
| 7 | (* Copyright Institut National de Recherche en Informatique et en *) |
|---|
| 8 | (* Automatique. All rights reserved. This file is distributed *) |
|---|
| 9 | (* under the terms of the INRIA Non-Commercial License Agreement. *) |
|---|
| 10 | (* *) |
|---|
| 11 | (* *********************************************************************) |
|---|
| 12 | |
|---|
| 13 | (* Command-line flags *) |
|---|
| 14 | |
|---|
| 15 | let prepro_options = ref ([]: string list) |
|---|
| 16 | let linker_options = ref ([]: string list) |
|---|
| 17 | let exe_name = ref "a.out" |
|---|
| 18 | let option_flonglong = ref true |
|---|
| 19 | let option_fstruct_passing = ref false |
|---|
| 20 | let option_fstruct_assign = ref false |
|---|
| 21 | let option_fbitfields = ref false |
|---|
| 22 | let option_fvararg_calls = ref true |
|---|
| 23 | let option_fmadd = ref false |
|---|
| 24 | let option_dparse = ref false |
|---|
| 25 | let option_dclight = ref false |
|---|
| 26 | let option_dasm = ref false |
|---|
| 27 | let option_E = ref false |
|---|
| 28 | let option_S = ref false |
|---|
| 29 | let option_c = ref false |
|---|
| 30 | let option_v = ref false |
|---|
Note: See
TracBrowser
for help on using the repository browser.
