diff options
author | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-11 15:04:00 +0000 |
---|---|---|
committer | varobert <varobert@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-07-11 15:04:00 +0000 |
commit | f45af3286a61ceae85160639097da6776ce66098 (patch) | |
tree | a9fd868441e526024696f94728b70781d3c72989 /checklink/Validator.ml | |
parent | 1f9096fcc8f9dc71f7b4576818c29d2ae6a5dd5f (diff) | |
download | compcert-f45af3286a61ceae85160639097da6776ce66098.tar.gz compcert-f45af3286a61ceae85160639097da6776ce66098.zip |
checklink: added configurability
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1969 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'checklink/Validator.ml')
-rw-r--r-- | checklink/Validator.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/checklink/Validator.ml b/checklink/Validator.ml index 1edcdb42..4baa5d67 100644 --- a/checklink/Validator.ml +++ b/checklink/Validator.ml @@ -16,6 +16,12 @@ let set_elf_file s = | Some _ -> raise (Arg.Bad "multiple ELF executables given on command line") end +let set_conf_file s = + begin match !conf_file with + | None -> conf_file := Some s + | Some _ -> raise (Arg.Bad "multiple configuration files given on command line") + end + let option_disassemble = ref false let disassemble_list = ref ([]: string list) let add_disassemble s = @@ -26,6 +32,8 @@ let options = [ (* Main options *) "-exe", Arg.String set_elf_file, "<filename> Specify the ELF executable file to analyze"; + "-conf", Arg.String set_conf_file, + "<filename> Specify a configuration file (see README)"; (* Parsing behavior *) "-relaxed", Arg.Set ELF_parsers.relaxed, "Allows the following behaviors in the ELF parser: |